|
|||||
|
|
| 基于理想的协议安全性分析 | |
| 引用本文： | 孙海波,林东岱,李莉.基于理想的协议安全性分析[J].软件学报,2005,16(12):2150-2156. |
| 作者姓名： | 孙海波 林东岱 李莉 |
| 作者单位： | 1. 信息安全国家重点实验室(中国科学院,软件研究所),北京,100080;中国科学院,研究生院,北京,100049 2. 信息安全国家重点实验室(中国科学院,软件研究所),北京,100080 3. 武汉大学,计算机学院,湖北,武汉,430072 |
| 基金项目： | Supported bythe National Natural Science Foundation of China under Grant Nos.60373048,90204016(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant Nos.863-317-01-04-99,2003AAl44030(国家高技术研究发展计划(863));the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318004(国家重点基础研究发展规划(973)) |
| 摘 要： | 1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结构来分析协议的一些安全性质,例如保密性、认证性、零知识性以及如何抵抗猜测攻击. |
| 关 键 词： | 串空间 密码协议 理想 |
| 文章编号： | 1000-9825/2005/16(12)2150 |
| 收稿时间： | 02 10 2004 12:00AM |
| 修稿时间： | 06 27 2005 12:00AM |
Protocols Security Analysis Based on Ideal |
|
| SUN Hai-Bo,LIN Dong-Dai and LI Li.Protocols Security Analysis Based on Ideal[J].Journal of Software,2005,16(12):2150-2156. | |
| Authors: | SUN Hai-Bo LIN Dong-Dai and LI Li |
| 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. |
| Keywords: | strand space cryptographic protocol ideal |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |