| 一个军网身份鉴别协议的形式化分析及修正 |
| |
| 引用本文： | 刘璟 祝世雄 周明天. 一个军网身份鉴别协议的形式化分析及修正[J]. 计算机工程与应用, 2005, 41(30): 122-124 |
| |
| 作者姓名： | 刘璟 祝世雄 周明天 |
| |
| 作者单位： | [1]中国电子科技集团公司第30研究所,成都610041 [2]电子科技大学计算机科学与工程学院,成都610054 |
| |
| 基金项目： | 国家973重点基础研究发展规划项目：信息与网络安全体系研究一密钥管理系统（编号：G1999035803） |
| |
| 摘 要： | 分别使用形式化分析工具Casper+FDR和OFM C模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例。同时指出了文[1]和文[2]中存在的几个谬误。然后对协议进行了修正。形式化验证结果表明修正后的协议是安全的。
|
| 关 键 词： | 身份鉴别协议 形式化分析 |
| 文章编号： | 1002-8331-（2005）30-0122-03 |
| 收稿时间： | 2005-06-01 |
| 修稿时间： | 2005-06-01 |
Formal Analysis and Modification of an Authentication Protocol in Military Network |
| |
| Liu Jing, Zhu Shixiong, Zhou Mingtian. Formal Analysis and Modification of an Authentication Protocol in Military Network[J]. Computer Engineering and Applications, 2005, 41(30): 122-124 |
| |
| Authors: | Liu Jing Zhu Shixiong Zhou Mingtian |
| |
| Affiliation: | 1.The 30th Institute,China Group Corp. of Ehectronic Science and Technology,Chengdu 610041; 2.School of Computer Scicence and Engineering,University of Electronic Science and Technology of China, Chengdu 610054 |
| |
| Abstract: | Respectively using formal analysis tool Casper and OFMC model checker,we analysed an authentication protocol in military network proposed by [1] and found a same attack upon it.At the same time,we also identified several mistakes in [1] and [2].Then we modified this protocol and the results of formal verification upon the modified protocol prove that it is secure as expected. |
| |
| Keywords: | authentication protocol formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
