{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T15:02:46Z","timestamp":1776956566987,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261896","type":"print"},{"value":"9783540320326","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11495628_4","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T12:03:05Z","timestamp":1279022585000},"page":"66-89","source":"Crossref","is-referenced-by-count":28,"title":["Operational Semantics of Security Protocols"],"prefix":"10.1007","author":[{"given":"Cas","family":"Cremers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R.M. Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM\u00a021, 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems\u00a08, 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Mauw, S., Wiersma, W.T., Willemse, T.A.C.: Language-driven system design. International Journal of Software Engineering and Knowledge Engineering (2004) (to appear)","DOI":"10.1142\/S0218194004001828"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a0IT-29, 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0167-6423(02)00022-9","volume":"44","author":"A.G. Engels","year":"2002","unstructured":"Engels, A.G., Mauw, S., Reniers, M.A.: A hierarchy of communication models for Message Sequence Charts. Science of Computer Programming\u00a044, 253\u2013292 (2002)","journal-title":"Science of Computer Programming"},{"key":"4_CR7","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DIAMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"4_CR8","unstructured":"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, 131\u2013145 (2003)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/CSFW.1996.503688","volume-title":"Proc. 9th Computer Security Foundations Workshop","author":"A.W. Roscoe","year":"1996","unstructured":"Roscoe, A.W.: Intensional Specifications of Security Protocols. In: Proc. 9th Computer Security Foundations Workshop, pp. 28\u201338. IEEE, Los Alamitos (1996)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/CSFW.1997.596779","volume-title":"Proc. 10th Computer Security Foundations Workshop","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. In: Proc. 10th Computer Security Foundations Workshop, pp. 18\u201330. IEEE, Los Alamitos (1997)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/CSFW.1997.596782","volume-title":"Proc. 10th Computer Security Foundations Workshop","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proc. 10th Computer Security Foundations Workshop, pp. 31\u201344. IEEE, Los Alamitos (1997)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Thayer F\u00e1brega, F., Herzog, J., Guttman, J.: Strand spaces: Why is a security protocol correct? In: Proc. 1998 IEEE Symposium on Security and Privacy, Oakland, California, pp. 66\u201377 (1998)","DOI":"10.21236\/ADA459060"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.: A calculus for cryptographic protocols: The spi calculus. Inf. Comput.\u00a0148, 1\u201370 (1999)","journal-title":"Inf. Comput."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput.\u00a0100, 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0304-3975(01)00136-0","volume":"283","author":"C. Bodei","year":"2002","unstructured":"Bodei, C., Degano, P., Focardi, R., Priami, C.: Primitives for authentication in process algebras. Theor. Comput. Sci.\u00a0283, 271\u2013304 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1016\/S0304-3975(02)00596-0","volume":"290","author":"F. Martinelli","year":"2003","unstructured":"Martinelli, F.: Analysis of security protocols as open systems. Theor. Comput. Sci.\u00a0290, 1057\u20131106 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-540-31810-1_12","volume-title":"System Analysis and Modeling","author":"C. Cremers","year":"2005","unstructured":"Cremers, C., Mauw, S.: Checking secrecy by means of partial order reduction. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 177\u2013194. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Scenarios: Models, Transformations and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11495628_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:53Z","timestamp":1605643193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11495628_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261896","9783540320326"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11495628_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}