Model Checking Security Protocols Using a Logic of Belief-Reference-Cited by-同舟云学术

Model Checking Security Protocols Using a Logic of Belief

Published:2000 Issue: Volume: Page:519-534
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Benerecetti Massimo,Giunchiglia Fausto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_35

Reference6 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. 521

2. Also IRST-Technical Report;M. Benerecetti,1998

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

4. 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. 525

5. E. Clarke, O. Grumberg, and D. Long. Model Checking. In Proceedings of the International Summer School on Deductive Program Design, Marktoberdorf, Germany, 1994. 519, 520, 521

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

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

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

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

4. A Logic of Belief and a Model Checking Algorithm for Security Protocols;IFIP Advances in Information and Communication Technology;2000