![First-order logic / Needham–Schroeder protocol / Kerberos / Cyberwarfare / Mathematics / Burrows–Abadi–Needham logic / Cryptography / Logic First-order logic / Needham–Schroeder protocol / Kerberos / Cyberwarfare / Mathematics / Burrows–Abadi–Needham logic / Cryptography / Logic](https://www.pdfsearch.io/img/f726b66b64690c07077d789b56efa603.jpg)
| Document Date: 2007-09-13 10:55:29 Open Document File Size: 405,93 KBShare Result on Facebook
Company Needham / / IndustryTerm given protocol / authentication protocols / security protocols / / Person Robert Harper / / Technology encryption / authentication protocols / specifying authentication protocols / security protocols / given protocol / secret key / public key / /
SocialTag |