安全协议设计

作品数：21被引量：56H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：缪祥华郁滨黄一才钮心忻李燕更多>>
相关机构：北京邮电大学中国科学院天津大学清华大学更多>>
相关期刊：《计算机光盘软件与应用》《计算机工程与设计》《信息安全与通信保密》《铁道学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划信息安全国家重点实验室开放基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多帧聚合编码层级动态跳变的安全协议设计
《中国电子科学研究院学报》2022年第8期748-754,共7页赵梓琪 郑寒雨 周钠 衣龙腾 
国家自然科学基金资助项目(61872069);中央高校基本科研业务费专项资金资助项目(N2017012)。
通信安全保密工作,关系到国家的安全和利益,为了提高卫星通信的防窃听安全性,在多帧聚合安全编码基础上,本研究探究编码层级的优选方案,提出了一种基于多帧聚合编码层级动态跳变的安全协议设计。本方案设计安全编码模块由编码层级动态...
关键词：多帧聚合 层级跳变 安全协议 
基于Event-B对存在网络攻击的安全协议的改进研究被引量：1
《中国电子科学研究院学报》2020年第6期530-538,共9页朱俊翔 张翔 
国家自然科学基金(61602177);上海市自然科学基金(18ZR1411600)。
设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证...
关键词：形式化方法 精化理论 模型检测 Event-B方法 安全协议设计 网络攻击 
融合指纹识别的NFC智能锁安全协议设计被引量：6
《计算机应用》2019年第A01期109-112,共4页汪生 金志刚 解冰珊 
针对现有智能锁的身份认证安全性薄弱等问题,设计了通过加密NFC信道传输并融合指纹识别的用户认证机制。首先,建立了BLE信道的安全分析平台,根据ofo开锁过程分析了无线智能锁的通信机制的弱点,截取的BLE通信数据表明,关键的鉴权与开锁...
关键词：智能锁 指纹 近距离无线通信 身份认证 着色PETRI网 鉴权 
基于物理不可克隆函数的小区重选安全协议设计被引量：3
《计算机工程》2018年第11期154-157,164,共5页杨建喜 张悦 池亚平 许萍 
国家发改委信息安全专项(发改办高技[2015]289号);国家高技术研究发展计划项目(2015AA017202)
小区重选算法是决定终端能否持续获得良好服务的关键技术,设计一种增强小区重选算法安全性的协议,使用户的信号质量和通信安全同时得到保障至关重要。为此,基于物理不可克隆函数提出一种小区重选算法安全协议,达到仅经过三轮交互即完成...
关键词：小区重选 物理不可克隆函数 双向认证 安全协议 GNY逻辑 
基于Event-B方法的安全协议设计、建模与验证被引量：3
《软件学报》2018年第11期3400-3411,共12页李梦君 潘国腾 欧国东 
国家自然科学基金(61672525);中国科学院信息工程研究所信息安全国家重点实验室开放课题(2016-MS-21)~~
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B...
关键词：安全协议设计 安全协议建模与验证 精化 Event-B方法 
网络安全协议在计算机通信技术当中的作用被引量：4
《数码世界》2017年第10期216-216,共1页杨领 
随着计算机网络的快速发展,人们生活的方方面面都和网络有联系,网络为人们提供便利的同时也存在一些网络安全问题,例如网络诈骗,窃取网络数据等,因此网络安全问题越来越被人们所重视。网络安全的基础是网络安全协议,这项协议是人们通过...
关键词：网络安全协议 计算机通信技术 安全协议分析 安全协议设计 
云存储环境下支持动态所有权管理的安全协议设计
《电子世界》2017年第4期180-180,182,共2页布吉瑞 
云存储环境为海量数据的存储和共享提供方便的同时也带了安全隐患。为保证数据安全,用户将自己的隐私数据加密后存储在开放的云存储环境中,如何在云存储环境下实现用户动态的所有权管理,保障数据共享安全性是亟需解决的问题。本文提出...
关键词：云存储 动态所有权 HASH 加密 
基于最小可信硬件的车联网安全协议设计被引量：1
《信息安全与通信保密》2016年第1期123-127,共5页沈达 张驰 
国家自然科学基金(No.61201240;No.61328208)
车联网是一种ad hoc网络,因此易受到欺骗攻击。可信硬件可以防止欺骗攻击,然而使用可信硬件普遍要求系统层面的支持,对系统进行改造的开销限制了可信硬件的实用性。本文针对车联网的特性,提出了一种最小化的、外接式的可信硬件设计方案...
关键词：车联网 可信硬件 安全协议 
基于AES和RSA的RFID安全协议设计
《机电一体化》2014年第11期71-73,共3页宁静 
针对RFID系统的安全漏洞问题,提出了一种基于AES和RSA的安全协议。该安全协议在RFID系统中嵌入了AES和RSA两种加密算法,使得读写器与标签之间的相互认证、数据通信更加安全可靠,可以有效地抵制欺骗、窃听、非法访问等安全攻击。
关键词：RFID AES RSA 安全性 
网络安全协议在计算机通信技术当中的作用与意义被引量：19
《计算机光盘软件与应用》2014年第12期186-186,188,共2页秦俊波 
网络安全协议是营造网络安全环境的基础,是构建安全网络的关键技术。设计并保证网络安全协议的安全性和正确性能够从基础上保证网络安全,避免因网络安全等级不够而导致网络数据信息丢失或文件损坏等信息泄露问题。在计算机网络应用中,...
关键词：网络安全协议 计算机通信技术 安全协议分析 安全协议设计 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部