Model checking security protocols using a logic of belief

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1785 LNCS, Issue , 2000, Pages 519-534

  Benerecetti, Massimo ^a   Giunchiglia, Fausto ^a,b  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; NETWORK SECURITY;

ATOMIC PROPOSITIONS; SECURITY PROTOCOLS; TEMPORAL EVOLUTION;

MODEL CHECKING;

EID: 84863945628     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46419-0_35     Document Type: Conference Paper

References (6)

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, 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. Also IRST-Technical Report 9708-07, IRST, Trento, Italy. (Pubitemid 128637751)
3. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
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.
5. E. Clarke, O. Grumberg, and D. Long. Model Checking. In Proceedi ngs of the International Summer School on Deductive Program Design, Marktoberdorf, Germany, 1994.
6. K.L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993.