Home›Automated theorem proving›Burrows–Abadi–Needham logic🌐EnglishEnglishDeutschEspañolPortuguêsTiếng ViệtРусскийالعربية日本語EntityQ1016940· pop 6· linked from 16 articlesBurrows–Abadi–Needham logicAlso known as BAN logic, Burrows-Abadi-Needham logicset of rules for defining and analyzing information exchange protocolsAvailable in 6 languagesDeutschРусскийPortuguêsالعربيةTiếng Việtvia Wikidata sitelinks · CC0ConnectionsInternational Standard Book NumberEntityaxiomEntityCategoriesAutomated theorem provingTheory of cryptography