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

作者：刘秀英; 张玉清; 杨波; 邢戈

来源：中国科学院研究生院学报, 2004, (03): 380-385.

• 密码协议
• 形式化分析
• 模型检测
• 运行模式分析法

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

• 单位
  西安电子科技大学; 信息安全国家重点实验室; 中国科学院研究生院