EntityQ1016940· pop 6· linked from 16 articlesBurrows–Abadi–Needham logicSign in to saveset of rules for defining and analyzing information exchange protocolsConnectionsInternational Standard Book NumberEntityaxiomEntitydigital object identifierEntitydefinitionEntitycommunication protocolEntitybibcodeEntityauthenticationEntitykeyEntityQ22908627EntityKerberosEntityaxiomatic systemEntityCiteSeerXEntityreplay attackEntityrecursive languageEntityDatalogEntitysession keyEntityMartín AbadiEntityRoger Michael NeedhamEntityMichael BurrowsEntityCategoriesAutomated theorem provingTheory of cryptography