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

摘要

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