一种新型的安全协议分析逻辑

A New Logic for the Analysis of Secure Protocols

提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 。

Proposed a new framework is for the analysis of secure protocols. Comparing to the framework proposed by Kailar, it has some improvements. Firstly, it can analyze accountability of protocols . Secondly, it can analyze fairness of protocols efficiently. At last, by introducing the cipher text understanding rule the new framework can analyze the message that includes signed cipher text.