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
In the Vinony graph
Within Vinony's link graph, Burrows–Abadi–Needham logic is referenced by 16 other articles, and connects out to International Standard Book Number, axiom and digital object identifier.
Vinony files it under Automated theorem proving and Theory of cryptography.
Its subject is documented across 6 Wikipedia language editions.
Connections
International Standard Book Number
Entity
axiom
Entity
digital object identifier
Entity
definition
Entity
communication protocol
Entity
bibcode
Entity
authentication
Entity
key
Entity
Semantic Scholar
Entity
Kerberos
Entity
axiomatic system
Entity
CiteSeerX
Entity
replay attack
Entity
recursive language
Entity
Datalog
Entity
session key
Entity
Martín Abadi
Entity
Roger Michael Needham
Entity
Michael Burrows
Entity