On Methods and Techniques for Formal Analysis of Security Protocols
Yadi Wang · Journal of Information Engineering University · 2008
Formal analysis of security protocols is the necessary measure for proof-testing of protocol security properties.In order to implement the specification of protocols and verification of security properties soundly and completely,many mathematical theories and artificial intelligence approaches are brought into the security protocols' formal analysis and automatic verification fields.In this paper,a survey in formal analysis methods for security protocols is presented,including logic-based,model checking based and proof-based,several research directions are pointed out in the end.