德赢Vwin官网
App
发帖 
提问 
发资料
发视频资料介绍
为了克服现有的逻辑方法不适合分析电子商务协议的缺点，本文提出了一种基于协议
认证目标的协议分析方法，该方法针对不同功能的协议，给出了他们要实现的目标：实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标。在文章的最后我们通过分析
Diffie-Hellman 密钥建立协议验证了该方法的正确性和易用性。
关键字：密码协议，认证目标，Diffie-Hellman 密钥建立协议
Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals WANG Bin1, ZANG Shao-wu1 ,MA Zhi2 (1 Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China; 2 Institute of Information Engineering, the PLA Information Engineering University, Zhengzhou 450002, China) Abstract ： This paper introduces a kind of formal method which is based on protocols authentication goals to analyse cryptographic protocols. This method conquer the shortcoming of current formal methods that isn’t fit to analyse electric commerce protocols, and it aim at the goals of all kinds of protocols functions. There are three goals of protocols: key authentication goals、 entity authentication goals and entity authentication combined with key authentication goals.At the last of this paper we use Diffie-Hellman key agreement protocol as an example to verify this way is correct and easily to use.
Key Words：cryptographic protocols, authentication goals，D-H key agreement protocols
认证目标的协议分析方法，该方法针对不同功能的协议，给出了他们要实现的目标：实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标。在文章的最后我们通过分析
Diffie-Hellman 密钥建立协议验证了该方法的正确性和易用性。
关键字：密码协议，认证目标，Diffie-Hellman 密钥建立协议
Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals WANG Bin1, ZANG Shao-wu1 ,MA Zhi2 (1 Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China; 2 Institute of Information Engineering, the PLA Information Engineering University, Zhengzhou 450002, China) Abstract ： This paper introduces a kind of formal method which is based on protocols authentication goals to analyse cryptographic protocols. This method conquer the shortcoming of current formal methods that isn’t fit to analyse electric commerce protocols, and it aim at the goals of all kinds of protocols functions. There are three goals of protocols: key authentication goals、 entity authentication goals and entity authentication combined with key authentication goals.At the last of this paper we use Diffie-Hellman key agreement protocol as an example to verify this way is correct and easily to use.
Key Words：cryptographic protocols, authentication goals，D-H key agreement protocols
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于格的后量子认证密钥协商协议综述 7次下载
- 无线射频识别双向认证协议 7次下载
- RFID系统中基于CPK-ECC的双向认证协议 1次下载
- 基于串空间的协议认证属性标准化验证过程 0次下载
- PCM协议的分析与验证 9次下载
- IEEE 802.11r认证协议安全性分析及改进
- 802.1x协议认证机制及缺陷的研究 17次下载
- 对称目标的ISAR像横向距离定标方法与性能分析
- 基于802.1x协议及IP认证实现多重认证技术研究
- Needham-Schroeder对称密钥认证协议安全性分析
- 一种快速安全认证协议及其形式化分析
- 一种基于混合模式的密码协议入侵检测方法
- 密码协议形式化分析的计算合理性
- 基于Hash函数的RFID认证协议
- 基于消息匹配的认证协议分析
- 三菱MC协议与Modbus协议的区别 1073次阅读
- DDS协议测试实践及问题分析 394次阅读
- eSPI协议抓包分析 2568次阅读
- 什么是IP协议 4592次阅读
- 分析目标的雷达散射截面积研究 1528次阅读
- ARP是什么意思？ARP是什么协议？ARP协议用于什么地方 1.8w次阅读
- NDI传输协议技术的原理方法 4676次阅读
- 简单网络管理协议(SNMP)的研究与应用 3159次阅读
- CAN总线协议是什么？CAN总线协议有哪些?CAN总线协议知识分析 7.4w次阅读
- 一文解析物联网协议 4522次阅读
- 斯坦福提出基于目标的策略强化学习方法——SOORL 5269次阅读
- pd充电协议是什么_pd协议快充什么意思 80.5w次阅读
- icmp协议行为分析研究 3338次阅读
- 无线传感器网络基于分簇的路由协议概述 3189次阅读
- LTE协议栈软件分析测试方法 6611次阅读
上传资料赚积分下载排行
本周
- 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次下载 | 免费
工商网监
评论