Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01238301n
Noun Concept
Categories: Automated theorem proving, Theory of cryptography
EN
Burrows–Abadi–Needham logic  BAN-Logic  BAN logic  BAN logic analysis of the Wide Mouth Frog protocol  Burrows-Abadi-Needham logic
EN
Burrows–Abadi–Needham logic is a set of rules for defining and analyzing information exchange protocols. Wikipedia
Definitions
Relations
Sources
EN
Burrows–Abadi–Needham logic is a set of rules for defining and analyzing information exchange protocols. Wikipedia
BAN logic, used to analyse authentication protocols Wikipedia Disambiguation
Set of rules for defining and analyzing information exchange protocols Wikidata
IS A
logical system
NAMED AFTER
Michael Burrows
Roger Needham
Martín Abadi
Wikipedia
EN
Burrows–Abadi–Needham logic
Wikidata
EN
Burrows–Abadi–Needham logic
Wikipedia Redirections
EN
BAN-Logic, BAN logic, BAN logic analysis of the Wide Mouth Frog protocol, Burrows-Abadi-Needham logic
Wikidata Alias
EN
BAN logic, Burrows-Abadi-Needham logic

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License