Burrows–Abadi–Needham logic
Sign in to saveAlso known as BAN logic, Burrows-Abadi-Needham logic
set of rules for defining and analyzing information exchange protocols
Also known as BAN logic, Burrows-Abadi-Needham logic
set of rules for defining and analyzing information exchange protocols