Operational semantics of security protocols

Lecture Notes in Computer Science

Volumn 3466, Issue , 2005, Pages 66-89

  Cremers, Cas ^a   Mauw, Sjouke ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY SYSTEMS;

DOMAIN ANALYSIS; GENERIC MODEL; OPERATIONAL SEMANTICS; SECURITY PROTOCOLS;

SEMANTICS;

EID: 24944514681     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11495628_4     Document Type: Conference Paper

References (17)

1. Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21 (1978) 993-999
2. Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8 (1990) 18-36
3. Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Proceedings of TACAS. Volume 1055., Springer Verlag (1996) 147-166
4. Mauw, S., Wiersma, W., Willemse, T.: Language-driven system design. International Journal of Software Engineering and Knowledge Engineering (2004) To appear.
5. Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory IT-29 (1983) 198-208
6. Engels, A.G., Mauw, S., Reniers, M.: A hierarchy of communication models for Message Sequence Charts. Science of Computer Programming 44 (2002) 253-292
7. Plotkin, G.: A structural approach to operational semantics. Technical Report DIAMI FN-19, Computer Science Department, Aarhus University (1981)
8. Cremers, C., Mauw, S., de Vink, E.: Defining authentication in a trace model. In Dimitrakos, T., Martinelli, F., eds.: FAST 2003. Proceedings of the first international Workshop on Formal Aspects in Security and Trust, Pisa, IITT-CNR technical report (2003) 131-145
9. Roscoe, A.W.: Intensional Specifications of Security Protocols. In: Proc. 9th Computer Security Foundations Workshop, IEEE (1996) 28-38
10. Lowe, G.: Casper: A compiler for the analysis of security protocols. In: Proc. 10th Computer Security Foundations Workshop, IEEE (1997) 18-30
11. Lowe, G.: A hierarchy of authentication specifications. In: Proc. 10th Computer Security Foundations Workshop, IEEE (1997) 31-44
12. Thayer Fábrega, F., Herzog, J., Guttman, J.: Strand spaces: Why is a security protocol correct? In: Proc. 1998 IEEE Symposium on Security and Privacy, Oakland, California (1998) 66-77
13. Abadi, M., Gordon, A.: A calculus for cryptographic protocols: The spi calculus. Inf. Comput. 148 (1999) 1-70
14. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100 (1992) 1-40
15. Bodei, C., Degano, P., Focardi, R., Priami, C.: Primitives for authentication in process algebras. Theor. Comput. Sci. 283 (2002) 271-304
16. Martinelli, F.: Analysis of security protocols as open systems. Theor. Comput. Sci. 290 (2003) 1057-1106
17. Cremers, C., Mauw, S.: Checking secrecy by means of partial order reduction. In Amyot, D., Williams, A., eds.: SAM 2004: Security Analysis and Modelling. Volume LNCS 3319 of Proceedings of the fourth SDL and MSC Workshop., Ottawa, Canada, Springer-Verlag, Berlin (2004) 177-194