MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Logic of Authentication Protocols." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Logic of Authentication Protocols  
  • by Paul Syverson, Iliano Cervesato — 2001 — Foundations of Security Analysis and Design, LNCS 2171
  • …The Logic of Authentication Protocols * Paul Syverson and Iliano Cervesato 2 Center for High…
  • Cited by 19 (0 self)Add To MetaCart
  • Verifying Cryptographic Protocols for Electronic Commerce  
  • by All W. Lichota, Grace L. Hammonds, Stephen H. Brackin, Area Systems, Dr. Randall, Randall W. Lichota, Dr. Stephen, H. Brackin — 1996 — 2nd USENIX Workshop on Electronic Commerce
  • …, Abadi, and Needham [BUR90]. In the BAN logic, an authentication protocol is transformed into a sequence…
  • Cited by 4 (0 self)Add To MetaCart
  • Amplifying Security Education in the Laboratory  
  • by Cynthia E. Irvine — 1999 — Proceedings IFIP TC11 WC 11.8 First World Conference on Information Security Education, pp 139–146
  • … administrator is unlikely to be required to know and understand formal logics for authentication protocols, just…
  • Cited by 5 (1 self)Add To MetaCart
  • Amplifying Security Education in the Laboratory  
  • by Cynthia Irvine Naval, Cynthia E. Irvine — 1999 — Proceedings IFIP TC11 WC 11.8 First World Conference on Information Security Education, pp 139–146
  • … administrator is unlikely to be required to know and understand formal logics for authentication protocols, just…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB