About this document
Understanding BAN Logic in Protocols by wind_art is a document available to read on EtoBox.
The document summarizes the BAN logic, which is a logic of belief and action developed by Mike Burrows, Martín Abadi, and Roger Needham. It provides notation for expressing beliefs and messages in authentication protocols. The logic can be used to analyze authentication protocols and determine whether they achieve their goals, though it cannot prove protocols flawed. Examples of analyzing the Ottway-Rees and Needham-Schroeder authentication protocols using BAN logic are provided.
- Author
- wind_art
- Language
- EN