Klaus Gaarder and Einar Snekkenes. On the formal analysis of PKCS authentication protocols. In J. Seberry and J. Pieprzyk, editors, Advances in Cryptology --- AUSCRYPT `90, volume 453 of Lecture Notes in Computer Science, pages 106--121. Springer-Verlag, 1990. These are the proceedings of AUSCRYPT'90, Jan. 8-11, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Semantics for a Logic of Authentication - Abadi, Tuttle (1991) (77 citations) (Correct)
....rules to derive the formula stating the protocol s expected correctness condition. One s inability to do so often indicates an error in the protocol. In part because the logic has helped uncover serious errors in published protocols [BAN89, Rac89] it has received a great deal of attention [ABKL90, AM90, Bie89, Boy90, CG90, DS90, Eng90, GKSG91, Gro90, GNY90, GS90, KG91, Sne91, Syv91]. It has also helped identify subtle differences between similar protocols [BAN89] On the other hand, a number of questions have been asked about the logic itself. What does belief mean What is a good key What kinds of properties of authentication protocols is the logic designed to study ....
K. Gaarder and E. Snekkenes. On the formal analysis of PKCS authentication protocols. In Advances in Cryptology --- AUSCRYPT '90 (LNCS 453), pages 106-- 121. Springer-Verlag, 1990.
A Unified Cryptographic Protocol Logic - Syverson, van Oorschot (1996) (7 citations) (Correct)
No context found.
Klaus Gaarder and Einar Snekkenes. On the formal analysis of PKCS authentication protocols. In J. Seberry and J. Pieprzyk, editors, Advances in Cryptology --- AUSCRYPT `90, volume 453 of Lecture Notes in Computer Science, pages 106--121. Springer-Verlag, 1990. These are the proceedings of AUSCRYPT'90, Jan. 8-11, 1990.
A Unified Cryptographic Protocol Logic - Syverson, van Oorschot (1996) (7 citations) (Correct)
No context found.
Klaus Gaarder and Einar Snekkenes. On the formal analysis of PKCS authentication protocols. In J. Seberry and J. Pieprzyk, editors, Advances in Cryptology --- AUSCRYPT `90, volume 453 of Lecture Notes in Computer Science, pages 106--121. Springer-Verlag, 1990. These are the proceedings of AUSCRYPT'90, Jan. 8-11, 1990.
On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot (1994) (74 citations) (Correct)
No context found.
Klaus Gaarder and Einar Snekkenes. On the formal analysis of PKCS authentication protocols. In J. Seberry and J. Pieprzyk, editors, Advances in Cryptology --- AUSCRYPT `90, volume 453 of Lecture Notes in Computer Science, pages 106--121. Springer-Verlag, 1990. These are the proceedings of AUSCRYPT'90, Jan. 8-11, 1990.
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