Authentication tests and disjoint encryption: A design method for security protocols

Journal of Computer Security

Volumn 12, Issue 3-4 SPEC. ISS., 2004, Pages 409-433

  Guttman, Joshua D ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DATA ACQUISITION; ELECTRONIC COMMERCE; ELECTRONIC DATA INTERCHANGE; LOGIC DESIGN; NETWORK PROTOCOLS;

AUTHENTICATION; ELECTRONIC TRANSACTIONS; SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 3042563843     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/jcs-2004-123-405     Document Type: Conference Paper

References (24)

1. M. Abadi and R. Needham, Prudent engineering practice for cryptographic protocols, in: Proceedings, 1994 IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, 1994, pp. 122-136.
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, 2001. Available at http://www.cl.cam.ac.uk/users/lcp/papers/protocols.html.
3. 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, 2001. Available at http://www.cl.cam.ac.uk/users/lcp/papers/protocols.html.
4. M. Bellare and P. Rogaway, Entity authentication and key distribution, in: Advances in Cryptology - Crypto'93 Proceedings, Springer-Verlag, 1993. Full version available at http://www-cse.ucsd.edu/users/mihir/papers/eakd.ps.
5. L. Buttyán, S. Staamann and U. Wilhelm, A simple logic for authentication protocol design, in: 11th IEEE Computer Security Foundations Workshop, 1998, pp. 153-162.
6. R. Chadha, M. Kanovich and A. Scedrov, Inductive methods and contract-signing protocols, in: Proceedings, 8th ACM Conference on Computer and Communications Security, P. Samarati, ed., New York, ACM Press, 2001, pp. 176-185.
7. D. Dolev and A. Yao, On the security of public-key protocols, IEEE Transactions on Information Theory 29 (1983), 198-208.
8. A. Gordon and A. Jeffrey, Authentication by typing, in: Proceedings, 14th Computer Security Foundations Workshop, IEEE Computer Society Press, 2001.
9. A. Gordon and A. Jeffrey, Types and effects for asymmetric cryptographic protocols, in: Proceedings, 15th Computer Security Foundations Workshop, IEEE Computer Society Press, 2002.
10. J.D. Guttman, Key compromise and the authentication tests, Electronic Notes in Theoretical Computer Science 47 (2001).
11. J.D. Guttman, Security goals: Packet trajectories and strand spaces, in: Foundations of Security Analysis and Design, R. Gorrieri and R. Focardi, eds, Volume 2171 of LNCS, Springer-Verlag, 2001, pp. 197-261.
12. J.D. Guttman, F.J. Thayer and L.D. Zuck, The faithfulness of abstract protocol analysis: Message authentication, Journal of Computer Security (2003) (Forthcoming).
13. J.D. Guttman and F.J. Thayer Fábrega, Authentication tests, in: Proceedings, 2000 IEEE Symposium on Security and Privacy, IEEE Computer Society Press, 2000.
14. 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, 2000.
15. J.D. Guttman and F.J. Thayer Fábrega, Authentication tests and the structure of bundles, Theoretical Computer Science 283(2) (2000), 333-380.
16. S. Kremer and J.-F. Raskin, Game analysis of abuse-free contract signing, in: Proceedings, 15th Computer Security Foundations Workshop, IEEE Computer Society Press, 2002.
17. G. Lowe, Analyzing protocols subject to guessing attacks, Journal of Computer Security 12(1) (2004), 83-97.
18. S.-L. Ng, Posets and protocols: Picking the right three-party protocol, IEEE Journal on Selected Areas in Communication (January) (2003), 55-61.
19. 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, 2000.
20. SET secure electronic transaction specification, May 1997. Available at http://www.setco.org/download.html.
21. 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, 1999.
22. 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) (1999), 191-230.
23. T.Y.C. Woo and S.S. Lam, Authentication for distributed systems, Computer 25(1) (1992), 39-52.
24. T.Y.C. Woo and S.S. Lam, A lesson on authentication protocol design, Operating Systems Review, 1994, pp. 24-37.