资料下载
×
基于密码协议认证目标的协议分析方法的研究
消耗积分:3 |
格式:rar |
大小:139 |
2009-05-30
分享资料个
为了克服现有的逻辑方法不适合分析电子商务协议的缺点，本文提出了一种基于协议
认证目标的协议分析方法，该方法针对不同功能的协议，给出了他们要实现的目标：实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标。在文章的最后我们通过分析
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
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
