Editing Burrows–Abadi–Needham logic (section)

'''Burrows–Abadi–Needham logic''' (also known as the '''BAN logic''') is a set of rules for defining and analyzing information exchange protocols. Specifically, BAN logic helps its users determine whether exchanged information is trustworthy, secured against eavesdropping, or both. BAN logic starts with the assumption that all information exchanges happen on media vulnerable to tampering and public monitoring. This has evolved into the popular security mantra, "Don't trust the network."

A typical BAN logic sequence includes three steps:<ref>{{cite web | url = http://www.cl.cam.ac.uk/~rja14/Papers/SEv2-c03.pdf | publisher = UT Austin CS | title = Course material on BAN logic }}</ref>
# Verification of message origin
# Verification of message [[Freshness (cryptography)|freshness]]
# Verification of the origin's trustworthiness.

BAN logic uses [[postulate]]s and [[definition]]s – like all [[axiomatic system]]s – to analyze [[authentication]] [[Protocol (computing)|protocols]]. Use of the BAN logic often accompanies a [[security protocol notation]] formulation of a protocol and is sometimes given in papers.