| 串空间理论扩展 |
| |
| 引用本文： | 沈海峰,薛锐,黄河燕,陈肇雄. 串空间理论扩展[J]. 软件学报, 2005, 16(10): 1784-1789 |
| |
| 作者姓名： | 沈海峰 薛锐 黄河燕 陈肇雄 |
| |
| 作者单位： | 中国科学技术大学,计算机科学技术系,安徽,合肥,230026;信息安全国家重点实验室(中国科学院,软件研究所),北京,100080;中国科学技术大学,计算机科学技术系,安徽,合肥,230026;中国科学院,计算机语言信息工程研究中心,北京,100083 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.60373048(国家自然科学基金) |
| |
| 摘 要： | 现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashing for message authentication code)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2.
|
| 关 键 词： | 安全协议 串空间 理想 诚实理想 |
| 收稿时间： | 2004-03-04 |
| 修稿时间： | 2004-11-15 |
Extending the Theory of Strand Spaces |
| |
| SHEN Hai-Feng,XUE Rui,HUANG He-Yan and CHEN Zhao-Xiong. Extending the Theory of Strand Spaces[J]. Journal of Software, 2005, 16(10): 1784-1789 |
| |
| Authors: | SHEN Hai-Feng XUE Rui HUANG He-Yan CHEN Zhao-Xiong |
| |
| Abstract: | |
| |
| Keywords: | security protocol strand spaces ideal honest ideal |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
