Formal Analysis of Kerberos Protocol
Jun Li · Microelectronics & Computer · 2006
Authentication protocol is one important kind protocol in network environment, and formal analysis is the key method to guarantee its security properties. In this paper, Kerberos protocol is analyzed using BAN logic. The research results reveal that the protocol achieves the expectative authentication goals.