|
|||||
|
|
| JFK协议的安全性分析 | |
| 引用本文： | 沈海峰,薛锐,黄河燕,陈肇雄. JFK协议的安全性分析[J]. 小型微型计算机系统, 2005, 26(10): 1681-1686 |
| 作者姓名： | 沈海峰 薛锐 黄河燕 陈肇雄 |
| 作者单位： | 1. 中国科学技术大学,计算机科学系,安徽,合肥,230026 2. 中国科学院,软件所,信息安全国家重点实验室,北京,100080 3. 中国科学技术大学,计算机科学系,安徽,合肥,230026;中国科学院,计算机语言信息工程研究中心,北京,100083 |
| 基金项目： | 国家自然科学基金（60373048）资助. |
| 摘 要： | 重新定义了串空间理想概念，并扩展了有关命题和定理，从而使串空间理论能分析包含丰富密码原语的安全协议，进一步应用此扩展串空间理论分析JFK协议（一个新提出的IPsec密钥交换协议）的桉心安全属性：秘密性和认证性．通过分析证明了JFK协议的密钥和认证安全性，对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础． |
| 关 键 词： | 安全协议 扩展串空间 理想 JFK |
| 文章编号： | 1000-1220（2005）10-1681-06 |
| 收稿时间： | 2004-04-02 |
| 修稿时间： | 2004-04-02 |
Security Analysis of JFK Protocol |
|
| SHENG Hai-feng,XUE Rui,HUANG He-yan,CHEN Zhao-xiong. Security Analysis of JFK Protocol[J]. Mini-micro Systems, 2005, 26(10): 1681-1686 | |
| Authors: | SHENG Hai-feng XUE Rui HUANG He-yan CHEN Zhao-xiong |
| Affiliation: | 1 Department of Computer Science, University of Science and Technology of China, Hefei 230026, China;2 The State Key Laboratory of Information Security, Institute of Software, China Academy of Science, Beijing 100080, China; 3 Engineering Research Center of Computer Language Information, China Academy of Science, Beijing 100083 , China |
| Abstract: | This paper defines a new ideal notion of strand spaces. The corresponding propositions and theorems are also extended so that Strand Spaces can be applied to analyzing some complex security protocols which include plenty cryptographic primitives. Then JFK. a new proposed key exchange protocol for IPsec, is analyzed via this extended Strand Spaces. The paper focuses on the protocol's core security properties: keys' secrecy and authentication's correctness. Through the analysis it is proved that JFK can achieve its security goals. The analysis also gives a steady foundation for more application of the extended Strand Spaces. |
| Keywords: | security protocols extended strand spaces ideal JFK |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |