电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问
题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协议既具有基于证书的公钥密码体制的安全性，又保持了对称密码体制的高效性。
关键词：认证协议 效率 形式化分析 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次下载
- 一种高效安全的认证密钥协商协议 0次下载
- 一种形式化的学习过程建模_钟伟平 0次下载
- 一种服务网络拓扑结构的形式化描述方法_陈鹏 2次下载
- IEEE 802.11r认证协议安全性分析及改进
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- 基于Petri网的安全协议形式化分析 29次下载
- 基于Spin的Rdt2.2及其改进的形式化分析
- 一种安全协议分析算法研究
- Needham-Schroeder对称密钥认证协议安全性分析
- 形式化方法和测试技术及其在安全中的应用
- 密码协议形式化分析的计算合理性
- 隐标识身份认证方法及其形式化语义分析
- 基于消息匹配的认证协议分析
- 基于串空间模型的改进性N-S协议的分析
- 浅谈SPI总线通信接口及其协议 1559次阅读
- 芯片开发中形式化验证的是一个误区 1753次阅读
- 形式化建模（一） 1198次阅读
- 一种利用激光脉冲而快速产生强磁场的新思路 2792次阅读
- 基于TH-PPM的RFID安全认证是怎样的 957次阅读
- 基于SASI的轻量级RFID双向认证是怎样一个流程 1330次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明 8127次阅读
- 【新专利介绍】一种支持多种通信协议的电能表 1041次阅读
- 安全认证的重要性 如何实施有效的安全认证方法 5197次阅读
- 帕塞瓦定理的两种常见形式 9640次阅读
- 基于SHA-256安全认证工作原理的最新安全认证解决方案 5255次阅读
- 基于总线传递数据的2种形式PIO、DMA的解析 1w次阅读
- 一种FFT插值正弦波快速频率估计算法 9269次阅读
- 一种基于Type-C PD协议的手机快速充电方案 2.7w次阅读
- 两种形式的红外光束编码波形及其典型数值电路图 2212次阅读
上传资料赚积分下载排行
本周
- 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次下载 | 免费
工商网监
评论