Formal Verification Techniques for Security Protocols
Dong Yu · Microcomputer Development · 2003
Rapid development of networks and communications make security a more crucial problem. To provide security for different systems many communication security protocols are proposed.In this paper,illustrate the formal verific ation requirement for security protocols, also describe several formal verification techniques and set forth the relative merit of each in detail.And the challenges with which formal verification techniques faced are discussed .The researches on these aspects and directions of development are presented.