Making sense of specifications: The formalization of SET (Extended abstract)

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

Volumn 2133, Issue , 2001, Pages 74-81

  Bella, Giampaolo ^a   Massacci, Fabio ^b,c   Paulson, Lawrence C ^a   Tramontano, Piero ^c  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF SIENA   (Italy)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949979013     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44810-1_11     Document Type: Conference Paper

References (22)

1. M. Abadi and R. M. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6-15, January 1996.
2. G. Bella and L. C. Paulson. Kerberos version IV: Inductive analysis of the secrecy goals. In Proceedings of the 5th European Symposium on Research in Computer Security, volume 1485 of Lecture Notes in Computer Science, pages 361-375. Springer-Verlag, 1998.
3. D. Bolignano. An approach to the formal verification of cryptographic protocols. In Proceedings of the 3th ACM Conference on Communications and Computer Security (CCS-96), pages 106-118, 1996.
4. S. Brackin. Automatic formal analyses of two large commercial protocols. In Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, page 14pp, September 1997.
5. S. Brackin. Automatically detecting authentication limitations in commercial security protocols. In Proceedings of the 22nd National Conference on Information Systems Security, page 18 pp, October 1999.
6. M. Burrows, M. Abadi, and R. Needham. A logic for authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
7. D. Gollmann. What do we mean by entity authentication? In Proceedings of the 15th IEEE Symposium on Security and Privacy, pages 46-54. IEEE Computer Society Press, 1996.
8. R. Kailar. Reasoning about accountability in protocols for electronic commerce. In Proceedings of the 14th IEEE Symposium on Security and Privacy, pages 236-250. IEEE Computer Society Press, 1995.
9. G. Lowe. A hierarchy of authentication specifications. In Proceedings of the 11th IEEE Computer Security Foundations Workshop, pages 31-43. IEEE Computer Society Press, 1997.
10. G. Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6(18-30):53-84, 1998.
11. Mastercard & VISA. SET Secure Electronic Transaction Specification: Business Description, May 1997. Available electronically at http://www.setco.org/setspecifications.html.
12. Mastercard & VISA. SET Secure Electronic Transaction Specification: Programmer’s Guide, May 1997. Available electronically at http://www.setco.org/setspecifications.html.
13. Mastercard & VISA. SET Secure Electronic Transaction Specification: Protocol Definition, May 1997. Available electronically at http://www.setco.org/setspecifications.html.
14. C. A. Meadows. Formal verification of cryptographic protocols: A survey. In Advances in Cryptology-Asiacrypt 94, volume 917 of Lecture Notes in Computer Science, pages 133-150. Springer-Verlag, 1995.
15. R. M. Needham and M. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12):993-999, 1978.
16. D. O’Mahony, M. Peirce, and H. Tewari. Electronic payment systems. The Artech House computer science library. Artech House, 1997.
17. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85-128, 1998.
18. L. C. Paulson. Inductive analysis of the internet protocol TLS. ACM Transactions on Information and System Security, 2(3):332-351, 1999.
19. RSA Laboratories, RSA Security-Available electronically at http://www.rsasecurity.com/rsalabs/pkcs. 19: Extended-Certificate Syntax Standard, 1993.
20. RSA Laboratories, RSA Security-Available electronically at http://www.rsasecurity.com/rsalabs/pkcs. 20: Cryptographic Message Syntax Standard, 1993.
21. P. Syverson and C. Meadows. A formal language for cryptographic protocol requirement. Designs, Codes and Cryptography, 7(xxx):27-59, 1996.
22. P. F. Syverson and P. C. van Oorschot. On unifying some cryptographic protocols logics. In Proceedings of the 13th IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 1994.