串空间理论扩展

• 作者: 沈海峰 薛锐 陈肇雄 黄河燕
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全协议 串空间 理想 诚实理想
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1784-1789
• 页数: 6页
• 分类号: TP309
• 字数: 5554字
• 语种: 中文

摘要

现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashing for message authentication code)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄河燕	中国科学技术大学计算机科学技术系	54	1398	18.0	36.0
5	陈肇雄	中国科学技术大学计算机科学技术系	37	1042	13.0	32.0
9	沈海峰	中国科学技术大学计算机科学技术系	6	71	5.0	6.0