计算机应用 ›› 2005, Vol. 25 ›› Issue (08): 1747-1749.DOI: 10.3724/SP.J.1087.2005.01747
谭立力1,4,刘璟2,3,谢鸿波3,谭兴烈 4
TAN Li-li1,4,LIU Jing2,3,XIE Hong-bo3,TAN Xing-lie4
摘要: 介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
中图分类号: