Science & Engineering Research Support soCiety (SERSC)
The authors present a general idea of using formal methods in the verification of security protocols. In particular they show how to formally model intruders and security properties such as secrecy. They demonstrate that applying formal methods can help protocol designers and implementers to improve the quality of security protocols. They also give an example where a formal method is applied to verify of important features in the design of network protocols for vehicular security systems.