Compositionality of security protocols: A research agenda

Electronic Notes in Theoretical Computer Science

Volumn 142, Issue SPEC. ISS., 2006, Pages 99-110

  Cremers, Cas ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Compositionality; Formal methods; Security properties; Security protocol analysis

Indexed keywords

COMPUTER SCIENCE; RESEARCH AND DEVELOPMENT MANAGEMENT; SECURITY OF DATA;

COMPOSITIONALITY; FORMAL METHODS; SECURITY PROPERTIES; SECURITY PROTOCOL ANALYSIS;

NETWORK PROTOCOLS;

EID: 29244485874     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.047     Document Type: Conference Paper

References (16)

1. Benaloh, J., B. Lampson, D. Simon, T. Spies and B. Yee, The private communication technology protocol (1995), draft-benaloh-pct-00.txt
2. 20 States and Beyond, in: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (1990), pp. 1-33, citeseer.lcs.mit.edu/burch90symbolic.html
3. Canetti, R., Universally composable security: A new paradigm for cryptographic protocols, Cryptology ePrint Archive, Report 2000/067 (2000), eprint.iacr.org/
4. C. Cremers Scyther documentation www.win.tue.nl/~ccremers/scyther
5. Cremers, C. and S. Mauw, Checking secrecy by means of partial order reduction, in: D. Amyot and A. Williams, editors, SAM 2004: Security Analysis and Modelling, 4th Workshop on SDL and MSC (2004), pp. 177-194. URL http://www.win.tue.nl/~ecss/downloads/cm_secrecyreduction.pdf
6. Cremers, C. and S. Mauw, Operational semantics of security protocols, in: Dagstuhl 03371 post-seminar proceedings: Scenarios: Models, Algorithms and Tools, LNCS, 2004, to be published
7. Cremers, C., S. Mauw and E. de Vink, Defining authentication in a trace model, in: T. Dimitrakos and F. Martinelli, editors, FAST 2003, Proceedings of the first international Workshop on Formal Aspects in Security and Trust (2003), pp. 131-145, www.win.tue.nl/~ecss/downloads/cmv_defining_authentication.ps
8. D. Dolev, and A. Yao On the security of public key protocols IEEE Transactions on Information Theory IT-29 1983 198 208
9. Guttman, J.D. and F.J. Thayer, Protocol independence through disjoint encryption, in: PCSFW: Proceedings of The 13th Computer Security Foundations Workshop (2000), citeseer.ist.psu.edu/guttman00protocol.html
10. Lowe, G., Breaking and fixing the Needham-Schroeder public-key protocol using FDR, Proceedings of TACAS 1055 (1996), pp. 147-166, URL web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/NSFDR.ps
11. Lowe, G., Casper: A compiler for the analysis of security protocols, in: Proc. 10th Computer Security Foundations Workshop (1997), pp. 18-30
12. Lowe, G., A hierarchy of authentication specifications, in: Proc. 10th Computer Security Foundations Workshop (1997), pp. 31-44
13. Song, D., Athena: a new efficient automatic checker for security protocol analysis, in: Proceedings of the 1999 IEEE Computer Security Foundations Workshop (1999), p. 192
14. Security protocols open repository www.lsv.ens-cachan.fr/spore
15. Thayer, F.J., J.C. Herzog and J.D. Guttman, Mixed strand spaces, in: Proceedings of the 1999 IEEE Computer Security Foundations Workshop (1999), p. 72
16. F.J. Thayer, J. Herzog, and J. Guttman Strand spaces: Proving security protocols correct Journal of Computer Security 7 1999 191 230