Verifying second-level security protocols

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

Volumn 2758, Issue , 2003, Pages 352-366

  Bella, Giampaolo ^a,b   Longo, Cristiano ^b   Paulson, Lawrence C ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC MAIL; FORMAL LOGIC; MOBILE SECURITY;

AUTHENTICATION PROTOCOLS; CERTIFIED E-MAIL; FORMALISATION; ISABELLE; SECOND LEVEL; SECURITY PROTOCOLS; THREAT MODELING;

NETWORK SECURITY;

EID: 35248826039     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10930755_23     Document Type: Article

References (18)

1. M. Abadi and B. Blanchet. Computer-Assisted Verification of a Protocol for Certified Email. In R. Cousot, editor, Static Analysis, 10th International Symposium (SAS'03), Lecture Notes in Comp. Sci. Springer-Verlag, June 2003. To appear.
2. M. Abadi, N. Glew, B. Horne, and B. Pinkas. Certified email with a light on-line trusted third party: Design and implementation. In Proceedings of the 11th International Conference on Wold Wide Web (WWW-02). ACM Press and Addison Wesley, 2002.
3. N. Asokan, V. Shoup, and M. Waidner. Asynchronous protocols for optimistic fair exchange. In Proc. of the 17th IEEE Sym. on Sec. and Privacy. IEEE Comp. Society Press, 1998.
4. T. Aura. Distributed access-rights management with delegation certificates. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues with Distributed Mobile Objects, volume 1603 of Lecture Notes in Comp. Sci., pages 211-235. Springer-Verlag, 1999.
5. G. Bella. Inductive verification of smart card protocols. J. of Comp. Sec., 11(1):87-132, 2003.
6. G. Bella, F. Massacci, and L. C. Paulson. Verifying the SET registration protocols. IEEE J. of Selected Areas in Communications, 21(1):77-87, 2003.
7. G. Bella and L. C. Paulson. Mechanical proofs about a non-repudiation protocol. In R. J. Boulton and P. B. Jackson, editors, Theorem Proving in Higher Order Logics: TPHOLs 2001, volume 2152 of Lecture Notes in Comp. Sci., pages 91-104. Springer, 2001.
8. B. Blanchet. An efficient cryptographic protocol verifier based on prolog rules. In Proc. of the 14th IEEE Comp. Sec. Found. Workshop. IEEE Comp. Society Press, 1998.
9. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. Proceedings of the Royal Society of London, 426:233-271, 1989.
10. J. Clark and J. Jacob. A survey of authentication protocol literature: Version 1.0. Technical report, University of York, Department of Computer Science, November 1997. Available on the web at http://www-users.cs.york.ac.uk/∼jac/. A complete specification of the dark-Jacob library in CAPSL is available at http://www.cs.sri.com/∼millen/capsl/.
11. E. Cohen. TAPS: A first-order verifier for cryptographic protocols. In Proc. of the 13th IEEE Comp. Sec. Found. Workshop, pages 144-158. IEEE Comp. Society Press, 2000.
12. F. J. T. Fábrega, J. C. Herzog, and J. D. Guttman. Strand Spaces: Why is a Security Protocol Correct? In Proc. of the 17th IEEE Sym. on Sec. and Privacy. IEEE Comp. Society Press, 1998.
13. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems: second international workshop, TACAS '96, volume 1055 of Lecture Notes in Comp. Sci., pages 147-166. Springer, 1996.
14. L. C. Paulson. The inductive approach to verifying cryptographic protocols. J. of Comp. Sec., 6:85-128, 1998.
15. L. C. Paulson. Inductive analysis of the internet protocol TLS. ACM Thins, on Inform. and Sys. Sec., 2(3):332-351, 1999.
16. P. Y. A. Ryan and S. A. Schneider. The Modelling and Analysis of Security Protocols: the CSP Approach. Addison Wesley Publ. Co., Reading, Massachusetts, 2000.
17. V. Shmatikov and J. C. Mitchell. Analysis of a fair exchange protocol. In Network and Distributed System Security Symposium (NDSS-00), 2000.
18. J. Zhou and D. Gollmann. A fair non-repudiation protocol. In Symposium on Security and Privacy. IEEE Computer Society, 1996.