Formal Methodology for Safety Analysis of Security Protocols
Il-Gon Kim, Jeon Chul-Wuk, Kim Hyun-Seok, Choi Jin-Young, Inhye Kang · Information Security and Cryptology · 2005
With the development of wire and wireless based networks, a various security protocols have been proposed to protect important resources and user information against attackers. However, many security protocols have found oかy to be later vulnerable to attacks. In this Paper, we introduce the formal methodology to verify the safety of security protocols in the design phase, and we take advantage of the formal methodology which uses Casper/CSP and FDR tools by introducing the verification example of EKE protocol and BCY protocol. Lastly, we propose a new BCY protocol after verifying it's safety.