K. Gaarder, E. Snekkenes, "Applying a formal analysis technique to CCITT X.509 strong two-way authentication protocol", J. Cryptology 3 (Jan. 1991), 81-98. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac (1996) (1 citation) (Correct)
....and simple, concise rules of inference, Chapter 2: Previous Research Regarding Cryptographic Protocol Verification 30 BAN Logic became the foundation for expansion by authors attempting to extend and improve the BAN Logic results. Among others that followed were [AT91] BEIB90] GLAS88] [GS91], GNY90] KG91] MB93] MOS89] RANG88] SNEK91] SYV90] SYV93a] and [vO93] Several of these are described later in this section. The logical systems that evolved differ in important ways. For instance, some of these logical systems are founded upon knowledge (epistemic modality: A ....
....evaluated with logical systems of knowledge. Later research [SYV92] suggests that knowledge and belief based logical systems have equivalent reasoning power. We discuss logical systems of belief and logical systems of knowledge in more detail later. Many of the enhancements to BAN Logic [AT91] [GS91], GNY90] KG91] MB93] SNEK91] SYV90] SYV93a] vO93] were designed to deal with the step sequencing problem identified by Snekkenes [SNEK91] Temporal modalities are given Chapter 2: Previous Research Regarding Cryptographic Protocol Verification 31 significant attention, largely for ....
[Article contains additional citation context not shown here]
Klaus Gaarder and Einar Snekkenes, "Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol", Journal Of Cryptology, 3:81-98, 1991.
An Alternate Explanation of two BAN-logic "failures" - van Oorschot (Correct)
No context found.
K. Gaarder, E. Snekkenes, "Applying a formal analysis technique to CCITT X.509 strong two-way authentication protocol", J. Cryptology 3 (Jan. 1991), 81-98.
Authentication and Authenticated Key Exchanges - Diffie, van Oorschot, Wiener (1992) (80 citations) (Correct)
No context found.
K. Gaarder and E. Snekkenes, "Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol", J. Cryptology 3 No.2 (1991), 81-98.
A Method for Examining Cryptographic Protocols - Tjaden (1997) (4 citations) (Correct)
No context found.
Gaarder, K., and Snekkenes, E., "Applying a Formal Analysis Technique to the CCITT X.509 Strong Two-Way Authentication Protocol", Journal of Cryptology, Volume 3, 1991, pp. 81-98.
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