A new model of formal design system of security authentication protocol

Developing a new model of designing security authentication protocols with formal methods. It divides the design of security protocols into three levels. The first level is realizing basic key exchange and identity verification. The second level is the efficiency promotion and realization mechanism of defending Denial-of-service Attacks. The third level is the security analysis of security protocols and verifying the security properties by automatic test tools. This model can generate many candidate protocols according to different environment and requirements, and it can be conveniently extended and transplanted according to needs.