MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

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

A Simple Logic for Authentication Protocol Design
by Levente Buttyan, Sebastian Staamann, Uwe Wilhelm — 1998 — In 11th IEEE Computer Security Foundations Workshop
…A Simple Logic for Authentication Protocol Design Levente Buttyan Swiss Federal Institute…
Cited by 20 (4 self) – Add To MetaCart

Verification and Modelling of Authentication Protocols
by Ralf C. Hauser, E. Stewart Lee — 1992
… authentication protocols by the end of the 80's.This so called BAN logic has been subject to considerable…
Cited by 1 (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

Modal Specifications of Trace-Based Security Properties
by Rafael Accorsi, David Basin, Luca Vigano — 2002 — Proceedings of the Second International Workshop on Security of Mobile Multiagent Systems
… on specialized security logics, such as the foundational BAN logic for authentication protocols [6] and its…
Cited by 2 (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

The use of belief logics in the presence of causal consistency attacks
by Jim Alves-foss — 1997 — In Proceedings of the Nineteenth National Computer Security Conference
…, the analysis of the protocol, where the use of the logic failed in the proofs of this protocol and suggests a…
Cited by 1 (0 self) – Add To MetaCart

Towards an Awareness-Based Semantics for Security Protocol Analysis
by Rafael Accorsi, David Basin, Luca Vigano — 2001
… logic for authentication protocols (see [1,5] as well as [15,17] and the other logics discussed there…
Cited by 7 (1 self) – Add To MetaCart

Introduction to Foundations of Security Protocols
by R. Ramanujam, S. P. Suresh
… comprehensive survey of BAN-style logics for authentication protocols. The modalities which these logics…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB