资料介绍
介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问
题,提出了一种可实现快速安全认证的一种新协议,并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性。
关键词:认证协议 效率 形式化分析 PCL
Abstract:Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient.
Key words: authentication protocol; efficiency; Formally analysis ;PCL
题,提出了一种可实现快速安全认证的一种新协议,并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性。
关键词:认证协议 效率 形式化分析 PCL
Abstract:Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient.
Key words: authentication protocol; efficiency; Formally analysis ;PCL
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 无人机无线通信协议的形式化认证综述 9次下载
- 基于同步数的轻量级高效RFID身份认证协议 1次下载
- 一种形式化的学习过程建模_钟伟平 0次下载
- IEEE 802.11r认证协议安全性分析及改进 25次下载
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- 基于Petri网的安全协议形式化分析 29次下载
- 基于Spin的Rdt2.2及其改进的形式化分析 5次下载
- 基于分层时间有色Petri网的支付协议公平性分析 9次下载
- 一种安全协议分析算法研究 8次下载
- Needham-Schroeder对称密钥认证协议安全性分析 23次下载
- 形式化方法和测试技术及其在安全中的应用 25次下载
- 密码协议形式化分析的计算合理性 11次下载
- 隐标识身份认证方法及其形式化语义分析 13次下载
- 基于消息匹配的认证协议分析 23次下载
- 基于串空间模型的改进性N-S协议的分析 10次下载
- 浅谈SPI总线通信接口及其协议 1138次阅读
- 芯海科技CPW3101通过UFCS融合快充认证 647次阅读
- 芯片开发中形式化验证的是一个误区 1559次阅读
- 形式化建模(一) 871次阅读
- 通信产品EMC/EMI仿真优化分析 962次阅读
- 基于TH-PPM的RFID安全认证是怎样的 848次阅读
- 基于视觉密码的RFID安全协议是怎样认证的 953次阅读
- 基于SASI的轻量级RFID双向认证是怎样一个流程 1203次阅读
- 基于Hash链的RFID认证协议有什么可以分析的 583次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明 7832次阅读
- 东方网力“天眼”结构化一体机实现实时视频流结构化分析 5098次阅读
- 安全认证的重要性 如何实施有效的安全认证方法 4991次阅读
- 基于SHA-256安全认证工作原理的最新安全认证解决方案 5033次阅读
- 安全栅结构形式、隔离式安全栅与齐纳式安全栅比较、安全栅与隔离器的区别 1350次阅读
- 一种基于Type-C PD协议的手机快速充电方案 2.6w次阅读
下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
评论
查看更多