串空间模型的原理与应用
介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITT X.509(3)协议的机密性和认证性.
密码协议、串空间、CCITT X.509协议
25
TP309.2(计算技术、计算机技术)
国家重点实验室基金51436040305DZ4001;国家重点基础研究发展计划973计划G1999035803
2005-09-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
1747-1749,1752