基于理想的协议安全性分析-软件学报.PDFVIP

1000-9825/2005/16(12)2150 ©2005 Journal of Software 软 件 学 报 Vol.16, No.12 ∗ 基于理想的协议安全性分析 1,2 1 3 孙海波 , 林东岱 , 李 莉 1(信息安全国家重点实验室( 中国科学院 软件研究所),北京 100080) 2( 中国科学院 研究生院,北京 100049) 3(武汉大学 计算机学院,湖北 武汉 430072) Protocols Security Analysis Based on Ideal 1,2 1 3 SUN Hai-Bo , LIN Dong-Dai , LI Li 1(State Key Laboratory of Information Security (Institute of Software, The Chinese Academy of Sciences), Beijing 100080, China) 2(Graduate School, The Chinese Academy of Sciences, Beijing 100049, China) 3(School of Computer Sciences, Wuhan University, Wuhan 430072, China) + Corresponding author: Phn: +86- 10ext 807, E-mail: hsun@, Received 2004-02-10; Accepted 2005-06-27 Sun HB, Lin DD, Li L. Protocols security analysis based on ideal. Journal of Softw are, 2005,16(12):2150−2156. DOI: 13.1360/jos162150 Abstract: Guttman et al. introduced a new formulation method, strand spaces theory as a new method for describing and analyzing cryptographic protocols in 1998 and Guttman introduced the ideal of information algebra and honesty to analyze the secrecy of Otway-Rees protocol in 1999. Because of the property of ideal, it can be used to show the relation between different information in some protocol. In this paper, the ideal will be appied to analyze some security properties of cryptographic protocols, such as secrecy, authentication, and so on. Key words: strand space; cryptographic protocol; ideal 摘 要: 1998 年,Guttman 等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在 1999 年第 1 次 引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性. 由于理想结构的特殊性使得它可以刻画协议 运行中消息之间的关系.利用理想的结构来分析协议的一些安全性质,例如保密性、认证性、零知识性以及如何抵 抗猜测攻击. 关键词: 串空间;密码协议;理想 中图法分类号: TP309 文献标识码: A ∗Supported by the National Natural Scie