A Logic of Belief and a Model Checking Algorithm for Security Protocols-Reference-Cited by-同舟云学术

A Logic of Belief and a Model Checking Algorithm for Security Protocols

Published:2000 Issue: Volume: Page:393-408
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Benerecetti M.,Giunchiglia F.,Panti M.,Spalazzi L.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35533-7_25

Reference10 articles.

1. M. Abadi and M. Tuttle. A semantics for a logic of authentication. In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, pages 201–216, 1991.

2. M. Benerecetti and F. Giunchiglia. Model checking security protocols using a logic of belief. In Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000). March 27th - April 1st, 2000, Berlin, Germany. To appear.

3. M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems, 8 (3): 401–423, 1998.

4. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8 (1): 18–36, 1990.

5. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. Nusmv: a new symbolic model verifier. In Proceedings of the International Conference on Computer-Aided Verification (CAV’99) Trento, Italy. July 1999., 1999.

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

1. Cryptographic protocol logic: Satisfaction for (timed) Dolev–Yao cryptography;The Journal of Logic and Algebraic Programming;2008-09

2. Validation of Multiagent Systems by Symbolic Model Checking;Agent-Oriented Software Engineering III;2003

3. Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time;Computer Safety, Reliability and Security;2002

4. Verification of Payment Protocols via MultiAgent Model Checking;Notes on Numerical Fluid Mechanics and Multidisciplinary Design;2002