Formal Analysis and Verification of Security Propertiesof Security Protocols in ProVerif
Wang Wei · Computers & Security · 2011
Formal method is a powerful tool of analysis and verification of security properties of security protocols.In this paper,based on the first-order theorem prover ProVerif researched deeply,we analyzed the simplified Authentication Protocol Needham-Schroeder by formal method.