Review of security protocols and their formal analysis
Tianlong Gu · 2006
Security protocols are the key foundation for network security.Formal analysis is an effective way to guarantee the properties of a security protocol and has been attracting more and more attention.In this paper,security protocols and the status of its formal analysis are reviewed.A classification of security protocols is presented;the corresponding security properties for each kind of protocols are listed.General assumptions adopted in the formal analysis of security protocol are summarized and three classes of formal analysis methods are illustrated in details.Finally,future research topics for the formal analysis of security protocols are discussed.