A New Logic for the Analysis of Secure Protocols
Shudong Shi · Mini-micro Systems · 2004
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.