Jun Li
Abstract
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.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Kerberos, Computer science, Authentication protocol, Protocol (science), Wide Mouth Frog protocol, Otway–Rees protocol, Authentication (law), Challenge-Handshake Authentication Protocol