Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time-Reference-Cited by-同舟云学术

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time

Published:2002 Issue: Volume: Page:126-138
ISSN:0302-9743
Container-title:Computer Safety, Reliability and Security
language:
Short-container-title:

Author:

Benerecetti Massimo,Panti Maurizio,Spalazzi Luca,Tacconi Simone

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45732-1_14

Reference17 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 A. Cimatti. Symbolic Model Checking for Multi-Agent Systems. In CLIMA-2001, Workshop on Computational Logic in Multi-Agent Systems, 2001. Co-located with ICLP’01.

3. M. Benerecetti and F. Giunchiglia. Model checking security protocols using a logic of belief. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000.

4. M. Benerecetti, F. Giunchiglia, M. Panti, and L. Spalazzi. A Logic of Belief and a Model Checking Algorithm for Security Protocols. In Proceedings of IFIP TC6/WG6.1 International Conference FORTE/PSTV 2000, 2000.

5. M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, 8(3):401–423, 1998.

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

1. On a time enriched OCL liveness template;International Journal on Software Tools for Technology Transfer;2006-01-27