Security protocol design via authentication tests

Proceedings of the Computer Security Foundations Workshop

Volumn 2002-January, Issue , 2002, Pages 92-103

  Guttman, J D ^a  

^a MITRE CORPORATION   (United States)

Author keywords

Authentication; Authorization; Contracts; Credit cards; Cryptographic protocols; Cryptography; Electronic commerce; Electronic equipment testing; National security; Process design

Indexed keywords

COMMERCE; CONTRACTS; CRYPTOGRAPHY; DESIGN; ELECTRONIC COMMERCE; ELECTRONIC EQUIPMENT; ELECTRONIC EQUIPMENT TESTING; EQUIPMENT TESTING; NATIONAL SECURITY; OSCILLATORS (ELECTRONIC); PROCESS DESIGN; SECURITY OF DATA; SECURITY SYSTEMS;

AUTHENTICATION TESTS; AUTHORIZATION; CREDIT CARDS; CRYPTOGRAPHIC PROTOCOLS; PROTOCOL VERIFICATION; SECURE ELECTRONIC TRANSACTION; SECURE PROTOCOLS; SECURITY PROTOCOLS;

AUTHENTICATION;

EID: 84948739411     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2002.1021809     Document Type: Conference Paper

References (19)

1. M. Abadi and R. Needham. Prudent engineering practice for cryptographic protocols. In Proceedings, 1994 IEEE Symposium on Research in Security and Privacy, pages 122-136. IEEE, IEEE Computer Society Press, 1994.
2. G. Bella, F. Massacci, and L. C. Paulson. Verifying the SET purchase protocols. Technical report, Cambridge University Computer Laboratory, 2001. Short version appeared in International Joint Conference on Automated Reasoning, June, 2001. Available at http://www.cl.cam.ac.uk/users/lcp/papers/protocols.html.
3. L. Buttyán, S. Staamann, and U. Wilhelm. A simple logic for authentication protocol design. In 11th IEEE Computer Security Foundations Workshop, pages 153-162, 1998.
4. R. Chadha, M. Kanovich, and A. Scedrov. Inductive methods and contract-signing protocols. In P. Samarati, editor, Proceedings, 8th ACM Conference on Computer and Communications Security, pages 176-185, New York, November 2001. ACM Press.
5. D. Dolev and A. Yao. On the security of public-key protocols. IEEE Transactions on Information Theory, 29:198-208, 1983.
6. A. Gordon and A. Jeffrey. Authentication by typing. In Proceedings, 14th Computer Security Foundations Workshop. IEEE Computer Society Press, June 2001.
7. A. Gordon and A. Jeffrey. Types and effects for asymmetric cryptographic protocols. In Proceedings, 15th Computer Security Foundations Workshop. IEEE Computer Society Press, June 2002.
8. J. D. Guttman. Key compromise and the authentication tests. Electronic Notes in Theoretical Computer Science, 2001.
9. J. D. Guttman. Security goals: Packet trajectories and strand spaces. In R. Gorrieri and R. Focardi, editors, Foundations of Security Analysis and Design, volume 2171 of LNCS. Springer Verlag, 2001.
10. J. D. Guttman and F. J. THAYER Fábrega. Authentication tests. In Proceedings, 2000 IEEE Symposium on Security and Privacy. May, IEEE Computer Society Press, 2000.
11. J. D. Guttman and F. J. THAYER Fábrega. Protocol independence through disjoint encryption. In Proceedings, 13th Computer Security Foundations Workshop. IEEE Computer Society Press, July 2000.
12. J. D. Guttman and F. J. THAYER Fábrega. Authentication tests and the structure of bundles. Theoretical Computer Science, 2002. To appear.
13. S. Kremer and J.-F. Raskin. Game analysis of abuse-free contract signing. In Proceedings, 15th Computer Security Foundations Workshop. IEEE Computer Society Press, June 2002.
14. A. Perrig and D. X. Song. Looking for diamonds in the desert: Extending automatic protocol generation to three-party authentication and key agreement protocols. In Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, July 2000.
15. SET secure electronic transaction specification, May 1997. Available at http://www.setco.org/download.html.
16. D. X. Song. Athena: a new efficient automated checker for security protocol analysis. In Proceedings of the 12th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, June 1999.
17. F. J. THAYER Fábrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7(2/3):191-230, 1999.
18. T. Y. C. Woo and S. S. Lam. Authentication for distributed systems. Computer, 25(1):39-52, January 1992.
19. T. Y. C. Woo and S. S. Lam. A lesson on authentication protocol design. Operating Systems Review, pages 24-37, 1994.