| 基于密码协议认证目标的协议分析方法的研究 |
| |
| 引用本文： | 王滨,张少武,马智.基于密码协议认证目标的协议分析方法的研究[J].微计算机信息,2005(33):35-37. |
| |
| 作者姓名： | 王滨 张少武 马智 |
| |
| 作者单位： | 1. 450004,郑州解放军信息工程大学电子技术学院
2. 450002,郑州解放军信息工程大学信息工程学院 |
| |
| 基金项目： | 国家自然科学基金,项目编号:60403004 |
| |
| 摘 要： | 为了克服现有的逻辑方法不适合分析电子商务协议的缺点,本文提出了一种基于协议认证目标的协议分析方法,该方法针对不同功能的协议,给出了他们要实现的目标实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标.在文章的最后我们通过分析Diffie-Hellman密钥建立协议验证了该方法的正确性和易用性.
|
| 关 键 词： | 密码协议 认证目标 Diffie-Hellman密钥建立协议 |
| 文章编号： | 1008-0570(2005)11-3-0035-03 |
| 修稿时间： | 2005年5月10日 |
Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals |
| |
| Wang,Bin,Zang,Shaowu,Ma,Zhi.Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals[J].Control & Automation,2005(33):35-37. |
| |
| Authors: | Wang Bin Zang Shaowu Ma Zhi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
