摘要
在两方密码协议运行模式分析法的基础上 ,利用模型检测的理论结果 ,提出了三方密码协议运行模式分析法 .用这种方法对DavisSwick协议进行了分析 ,成功地验证了此协议的安全性 。
Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols. To test this method, we use it to analyze the Davis Swick protocol and successfully prove the security of protocol. Therefore, we can draw a conclusion that running mode analysis of three party cryptographic protocol is available.
出处
《中国科学院研究生院学报》
CAS
CSCD
2004年第3期380-385,共6页
Journal of the Graduate School of the Chinese Academy of Sciences
基金
国家自然科学基金项目 ( 60 10 2 0 0 4
60 2 73 0 2 7
60 0 2 5 2 0 5 )资助
关键词
密码协议
形式化分析
模型检测
运行模式分析法
cryptographic protocol, formal analysis, model checking, running-mode analysis
