Lazy Infinite-State Analysis of Security Protocols-Reference-Cited by-同舟云学术

Lazy Infinite-State Analysis of Security Protocols

Published:1999 Issue: Volume: Page:30-42
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Basin David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46701-7_3

Reference17 articles.

1. Lect Notes Comput Sci;R. Anderson,1995

2. Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. ACM Transactions in Computer Systems, 8(1):18–36, 1990.

3. John Clark and Jeremy Jacob. A survey of authentication protocol literature: Version 1.0. Available at the URL http://www.cs.york.ac.uk/~jac/> .

4. G. Denker, J. Meseguer, and C. Talcott. Protocol specification and analysis in Maude. In N. Heintze and J. Wing, editors Proceedings of the Workshop on Formal Methods and Security Protocols, pages 939–944, Indianapolis, Indiana, June 1998.

5. D. Dolev and A. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29:198–208, 1983.

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

1. Model Checking Security Protocols;Handbook of Model Checking;2018

2. Historical Background and Further Reading;Operational Semantics and Verification of Security Protocols;2012

3. How to Evaluate the Security of Real-Life Cryptographic Protocols?;Financial Cryptography and Data Security;2010

4. Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification;Recent Trends in Network Security and Applications;2010

5. LTL model checking for security protocols;Journal of Applied Non-Classical Logics;2009-01