Information Assurance for security protocols

Computers and Security

Volumn 24, Issue 4, 2005, Pages 322-333

  Bella, Giampaolo ^a   Bistarelli, Stefano ^b,c  

^a UNIVERSITY OF CATANIA   (Italy)

^b Istituto di informatica e telematica del Consiglio nazionale delle ricerche   (Italy)

^c UNIVERSITY OF CHIETI   (Italy)

Author keywords

Accuracy; Constraint solving; Cryptographic protocol; Formal analysis; Formalism; Realism; Retaliation; Soft constraints

Indexed keywords

COMPUTER SOFTWARE; COMPUTERS; CONSTRAINT THEORY; CRYPTOGRAPHY; DECISION THEORY; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

DOWNLOADING; ENCRYPTION FUNCTION; SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 19944376495     PISSN: 01674048     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cose.2004.10.004     Document Type: Article

References (39)

1. M. Abadi Secrecy by typing in security protocols Journal of the ACM 46 5 1999 749 786
2. M. Abadi, and C. Fournet Mobile values, new names, and secure communication Proceedings of the 28th ACM SIGACT-SIGPLAN symposium on principles of programming languages (POPL'01) 2001 ACM Press and Addison Wesley p. 104-15
3. M. Abadi, and R.M. Needham Prudent engineering practice for cryptographic protocols IEEE Transactions on Software Engineering 22 1 January 1996 6 15
4. R. Anderson Why cryptosystems fail Proceedings of the 1st ACM conference on communications and computer security (CCS'93) 1993 ACM Press and Addison Wesley p. 217-27
5. R. Anderson, and R.M. Needham Robustness principles for public key protocols D. Coppersmith Proceedings of advances in cryptography - CRYPTO'95 LNCS 963 1995 Springer-Verlag 236 247
6. G. Bella, and S. Bistarelli Confidentiality levels and deliberate/indeliberate protocol attacks B. Christianson B. Crispo W.S. Harbison M. Roe Proceedings of the 10th international workshop on security protocols Cambridge, UK LNCS 2845 2002 Springer 104 119
7. G. Bella, and S. Bistarelli Soft constraint programming to analysing security protocols Theory and Practice of Logic Programming 4 5 2004 1 28
8. G. Bella, and L.C. Paulson Kerberos version IV: inductive analysis of the secrecy goals J.-J. Quisquater Y. Deswarte C. Meadows D. Gollmann Proceedings of the 5th European symposium on research in computer security (ESORICS'98) LNCS 1485 1998 Springer-Verlag 361 375
9. G. Bella, F. Massacci, and L.C. Paulson Verifying the SET registration protocols IEEE Journal of Selected Areas in Communications 21 1 2003 77 87
10. Bella G, Bistarelli S, Massacci F. A protocol's life after attacks. In: Proceedings of the 11th international workshop on security protocols Cambridge, UK, LNCS series. Springer-Verlag; 2003, in press.
11. M. Bellare, and P. Rogaway Provably secure session key distribution - the three party case Proceedings of the 27th ACM SIGACT symposium on theory of computing (STOC'95) 1995 ACM Press and Addison Wesley p. 57-66
12. S.M. Bellovin, and M. Merritt Augmented encrypted key exchange: a password-based protocol secure against dictionary attacks and password file compromise ACM conference on computer and communications security 1993 p. 244-50
13. S. Bistarelli Semirings for soft constraint solving and programming LNCS 2962 2004 Springer
14. S. Bistarelli, U. Montanari, and F. Rossi Semiring-based constraint solving and optimization Journal of the ACM 1997 201 236
15. S. Bistarelli, U. Montanari, and F. Rossi Soft concurrent constraint programming Proceedings of the 11th European symposium on programming (ESOP'02) LNCS 2305 2002 Springer-Verlag p. 53-67
16. M. Burrows, M. Abadi, and R.M. Needham A logic of authentication Proceedings of the Royal Society of London 426 1989 233 271
17. W. Cheswick, S.M. Bellovin, and A.D. Rubin Firewalls and Internet security: repelling the wily hacker Addison-Wesley 2004
18. L. Cholvy, and F. Cuppens Analyzing consistency of security policies Proceedings of the 16th IEEE symposium on security and privacy 1997
19. F.J. Corbatò, and V.A. Vyssotsky Introduction and overview of the multics system Proceedings of the American Federation of information processing societies conference (AFIPS'65) 1965 p. 185-96
20. D. Dolev, and A. Yao On the security of public-key protocols IEEE Transactions on Information Theory 2 29 1983
21. N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov Undecidability of bounded security protocols Proceedings of the FMSP'99 1999
22. F.J.T. Fábrega, J.C. Herzog, and J.D. Guttman Strand spaces: why is a security protocol correct? Proceedings of the 17th IEEE symposium on security and privacy 1998 IEEE Press
23. D. Gollmann What do we mean by entity authentication? Proceedings of the 15th IEEE symposium on security and privacy 1996 IEEE Press p. 46-54
24. D. Gollmann On the verification of cryptographic protocols - a tale of two committees Proceedings of the workshop on secure architectures and information flow ENTCS 32 2000 Elsevier Science
25. D. Gollmann What is authentication? B. Christianson B. Crispo J. Malcolm M. Roe Proceedings of the 7th international workshop on security protocols LNCS 1796 2000 Springer-Verlag 65 72
26. D. Gollmann Authentication - myths and misconceptions K.-Y. Lam I.E. Shparlinski H. Wang C. Xing Proceedings of the workshop on cryptography and computational number theory (CCNT'99) 2001 Birkhäuser 203 226
27. J.Y. Halpern, and V. Weissman Using first-order logic to reason about policies Proceedings of the 16th IEEE computer security foundations workshop 2003 IEEE Press
28. G. Lowe An attack on the Needham-Schroeder public-key authentication protocol Information Processing Letters 56 3 1995 131 133
29. G. Lowe A hierarchy of authentication specifications Proceedings of the 10th IEEE computer security foundations workshop 1997 IEEE Press p. 31-43
30. R.M. Needham, and M.D. Schroeder Using encryption for authentication in large networks of computers Communications of the ACM 21 12 1978 993 999
31. B.C. Neuman, and T. Ts'o Kerberos: an authentication service for computer networks, from IEEE communications magazine September, 1994 William Stallings, Practical cryptography for data Internetworks 1996 IEEE Press
32. L.C. Paulson Mechanized proofs for a recursive authentication protocol Proceedings of the 10th IEEE computer security foundations workshop 1997 IEEE Press p. 84-95
33. L.C. Paulson The inductive approach to verifying cryptographic protocols Journal of Computer Security 6 1998 85 128
34. L.C. Paulson Relations between secrets: two formal analyses of the Yahalom protocol Journal of Computer Security 9 3 2001 197 216
35. A.W. Roscoe Intensional specifications of security protocols Proceedings of the 9th IEEE computer security foundations workshop 1996 IEEE Press p. 28-38
36. P.Y.A. Ryan, and S.A. Schneider An attack on a recursive authentication protocol: a cautionary tale Information Processing Letters 65 1998 Elsevier Science Publishers (North-Holland)Amsterdam
37. P.Y.A. Ryan, and S.A. Schneider The modelling and analysis of security protocols: the CSP approach 2000 Addison-Wesley
38. P.F. Syverson Limitations on design principles for public key protocols Proceedings of the 15th IEEE symposium on security and privacy 1996 IEEE Press p. 62-72
39. V. Shmatikov, and J.C. Mitchell Analysis of a fair exchange protocol Network and distributed system security symposium (NDSS-00) 2000 p. 119-28