M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-- 36, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
An Encapsulated Authentication Logic - For Reasoning About (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-- 36, 1990.
Logics for Authorizations and Security - Piero Bonatti And (2003) (1 citation) (Correct)
No context found.
23 M. Burrows, M. Abadi, R. Needham. A logic of authentication. ACM Transactions on Computer Systems 8,(1):18-36, 1990.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8(1) (1990)
Fast Automatic Synthesis of Security Protocols Using - Backward Search Hongbin (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, February 1990.
A Syntactic Criterion for Injectivity of Authentication.. - Cremers, Mauw, de Vink (2005) (Correct)
No context found.
Burrows, M., M. Abadi and R. Needham, A logic of authentication, ACM Transactions on Computer Systems 8 (1990), pp. 16--36.
A Semantic Approach for Reasoning about Security.. - Hommersom, Meyer, de.. (Correct)
No context found.
M. Burrows, M. Abadi, and R.M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8:16--36, 1990.
Weaknesses in EHA Authentication and Key Distribution Protocol - Stanek, Olejar (1999) (Correct)
No context found.
Burrows M., Abadi M., Needham R.M.: A Logic of Authentication, ACM Transactions of Computer Systems, Vol. 8, No. 1, pp. 18-36, 1990.
Epistemic Logic: A Survey - Wiebe Van Der (2002) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8:18-36, 1990.
Analysing the BKE-security protocol with μCRL - Groote, Mauw, Serebrenik (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham, A logic of authentication. ACM Transactions on Computer Systems 8(1):18--36, 1990.
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8:18--36, 1990.
Operational Semantics of Security Protocols - Cremers, Mauw (2005) (Correct)
No context found.
Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8 (1990) 18--36
Verification of Multi-Protocol Attacks - Cremers (Correct)
No context found.
M. Burrows, M. Abadi, R. Needham, A logic of authentication, ACM Transactions on Computer Systems 8 (1990) 18--36.
A Tool For Specification And Verification Of Epistemic.. - Raimondi, Lomuscio (2004) (3 citations) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, February 1990.
Process Algebraic Analysis of Cryptographic Protocols - Boreale, De Nicola, Pugliese (2000) (1 citation) (Correct)
No context found.
M. Burrows, M. Abadi, R. Needham. A Logic of Authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, 1990.
Propagation of Trust and Distrust - Guha, Kumar, Raghavan, Tomkins (2004) (14 citations) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, 1990.
A Tool for Specification and Verification of Epistemic.. - Raimondi, Lomuscio (2003) (3 citations) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, Feb. 1990.
Access Control for the Web via Proof-Carrying Authorization - Bauer (2003) (3 citations) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, Feb. 1990. 99
Towards Provable Security for Ad Hoc Routing Protocols - Buttyan, Vajda (2004) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, February 1990.
USENIX Association - The First International (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, February 1990.
Specification and Refinement of Secure IT-Systems - Exte Nd Ed (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-- 36, 1990.
Cryptographic Access Control in a Distributed File System - Christian (2003) (Correct)
No context found.
R. Needham M. Burrows, M. Abadi. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, February 1990.
Sound Computational Interpretation of Formal Encryption with.. - Laud, Corin (2003) (1 citation) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, 1990.
Modelling and Security Analysis of Authenticated Group Key.. - Pereira (2003) (4 citations) (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18--36, 1990.
On the Use of Data Refinement in the Development of Secure.. - Butler (Correct)
No context found.
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC