How to Formally Model Features of Network Security Protocols
Gyesik Lee · International Journal of Security and Its Applications · 2014
We present a general idea of using formal methods in the verification of security protocols. In particular we show how to formally model intruders and security properties such as secrecy. We demonstrate that applying formal methods can help protocol designers and implementers to improve the quality of security protocols. We 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.