首页 | 本学科首页   官方微博 | 高级检索  
     

串空间理论扩展
引用本文:沈海峰,薛锐,黄河燕,陈肇雄. 串空间理论扩展[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 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号