Survey on Theories and Methods of Formal Analyses for Security Protocols
Feng Deng · 2003
Theories and methods of formal analyses for security protocol are surveyed.A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.Also disscussed is a new challenge the methods of security protocol formal analysis are facing.Corresponding comments on these theories and methods are also given during the discussion.Challenges formal analyses face are also proposed.