串空间理论扩展

作者：沈海峰; 薛锐; 黄河燕; 陈肇雄

来源：软件学报, 2005, (10): 1784-1789.

• 安全协议
• 串空间
• 理想
• 诚实理想 security protocol
• strand spaces
• ideal
• honest ideal

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

• 单位
  信息安全国家重点实验室; 中国科学院软件研究所; 中国科学技术大学; 中国科学院计算机语言信息工程研究中心