On the Verification of Cryptographic Protocols-Reference-Cited by-同舟云学术

On the Verification of Cryptographic Protocols

Published:2000 Issue: Volume:32 Page:42-58
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Gollmann Dieter

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference24 articles.

1. Mihir Bellare and Phillip Rogaway. Entity authentication and key distribution. In Advances in Cryptology  CRYPTO'93, LNCS 773, pages 232–249. Springer Verlag, 1994.

2. Systematic design of a family of attack-resistant authentication protocols;Bird;IEEE Journal on Selected Areas in Communications,1993

3. Systematic design of two-party authentication protocols;Bird,1992

4. Authentication and authenticated key exchanges;Diffie;Designs, Codes, and Cryptography,1992

5. International Organisation for Standardization. Basic Reference Model for Open Systems Interconnection (OSI) Part 2: SECURITY Architecture. Genève, Switzerland, 1988.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Attacking Each Other;Security Protocols XVII;2013

2. Multi-Attacker Protocol Validation;Journal of Automated Reasoning;2010-07-17

3. The principle of guarantee availability for security protocol analysis;International Journal of Information Security;2009-12-09

4. Specifying authentication using signal events in CSP;Computers & Security;2009-07

5. A Formalization of Credit and Responsibility Within the GNDC Schema;Electronic Notes in Theoretical Computer Science;2006-05