10.3969/j.issn.1000-3428.2009.22.047
串空间理论的扩展和应用
根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的核心安全特性--保密性和认证特性,并通过数学方法加以验证.
串空间、Diffie-Hellman密钥交换、数字签名
35
TP309.2(计算技术、计算机技术)
2010-01-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
137-140