Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols-Reference-Cited by-同舟云学术

Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols

Published:1998 Issue: Volume: Page:87-106
ISSN:
Container-title:Programming Concepts and Methods PROCOMET ’98
language:
Short-container-title:

Author:

Clarke E. M.,Jha S.,Marrero W.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35358-6_10

Reference28 articles.

1. M. Abadi and A. Gordon. A calculus for cryptographic protocols the spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, April 1997. To appear.

2. M. Bellare and P. Rogaway. Provably secure session key distribution—the three party case. In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, pages 57–66, 1995.

3. D. Bolignano. An approach to the formal verification of cryptographic protocols. In Proceedings of the 3rd ACM Conference on Computer and Communication Security, 1996.

4. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Technical Report 39, DEC Systems Research Center, February 1989.

5. D. Craigen and M. Saaltink. Using EVES to analyze authentication protocols. Technical Report TR–96–5508–05, ORA Canada, 1996.

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

1. Abstract Interpretation of Stateful Networks;Static Analysis;2018

2. Some Complexity Results for Stateful Network Verification;Tools and Algorithms for the Construction and Analysis of Systems;2016

3. Data minimisation in communication protocols: a formal analysis framework and application to identity management;International Journal of Information Security;2014-04-12

4. Symbolic Privacy Analysis through Linkability and Detectability;Trust Management VII;2013

5. Modeling Adversaries in a Logic for Security Protocol Analysis;Logical Methods in Computer Science;2012-03-09