三方密码协议运行模式分析法

摘要：

本文在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。并用这种方法对Davis Swick协议进行了分析，成功地验证了此协议的安全性，说明了我们所提出的三方密码协议运行模式分析法的有效性。

关键词： 三方密码协议 形式化分析 模型检测 运行模式分析法

作者: 张玉清 刘秀英

作者单位: 中国科学院研究生院信息安全国家重点实验室,中国北京 100039 中国科学院研究生院国家计算机网络入侵防范中心,中国北京 100039

会议类型: 国内会议

会议名称: 第八届中国密码学学术会议

会议地点: 上海

会议语种:中文

页码: 320-327

在线出版日期: 2004-03-01（万方平台首次上网日期，不代表论文的发表时间）