{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T21:04:27Z","timestamp":1761339867953,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319990729"},{"type":"electronic","value":"9783319990736"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99073-6_21","type":"book-chapter","created":{"date-parts":[[2018,8,10]],"date-time":"2018-08-10T18:09:38Z","timestamp":1533924578000},"page":"427-446","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Stateful Protocol Composition"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6312-6311","authenticated-orcid":false,"given":"Andreas V.","family":"Hess","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6901-8319","authenticated-orcid":false,"given":"Sebastian A.","family":"M\u00f6dersheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6355-1200","authenticated-orcid":false,"given":"Achim D.","family":"Brucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,8]]},"reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-24177-7_11","volume-title":"Computer Security \u2013 ESORICS 2015","author":"O Almousa","year":"2015","unstructured":"Almousa, O., M\u00f6dersheim, S., Modesti, P., Vigan\u00f2, L.: Typing and compositionality for security protocols: a generalization to the geometric fragment. In: Pernul, G., Ryan, P.Y.A., Weippl, E. (eds.) ESORICS 2015. LNCS, vol. 9327, pp. 209\u2013229. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24177-7_11"},{"issue":"2\u20134","key":"21_CR2","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.ic.2007.07.002","volume":"206","author":"S Andova","year":"2008","unstructured":"Andova, S., Cremers, C.J.F., Gj\u00f8steen, K., Mauw, S., Mj\u00f8lsnes, S.F., Radomirovi\u0107, S.: A framework for compositional verification of security protocols. Inf. Comput. 206(2\u20134), 425\u2013459 (2008)","journal-title":"Inf. Comput."},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-662-46666-7_17","volume-title":"Principles of Security and Trust","author":"M Arapinis","year":"2015","unstructured":"Arapinis, M., Cheval, V., Delaune, S.: Composing security protocols: from confidentiality to privacy. In: Focardi, R., Myers, A. (eds.) POST 2015. LNCS, vol. 9036, pp. 324\u2013343. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46666-7_17"},{"issue":"12","key":"21_CR4","doi-asserted-by":"publisher","first-page":"1685","DOI":"10.1016\/j.ic.2007.05.002","volume":"205","author":"M Backes","year":"2007","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput. 205(12), 1685\u20131720 (2007)","journal-title":"Inf. Comput."},{"key":"21_CR5","unstructured":"Butin, D.F.: Inductive analysis of security protocols in Isabelle\/HOL with applications to electronic voting. Ph.D. thesis, Dublin City University, November 2012"},{"key":"21_CR6","doi-asserted-by":"publisher","unstructured":"Cheval, V., Cortier, V., Warinschi, B.: Secure composition of PKIs with public key protocols. In: CSF, pp. 144\u2013158, August 2017. https:\/\/doi.org\/10.1109\/CSF.2017.28","DOI":"10.1109\/CSF.2017.28"},{"issue":"3","key":"21_CR7","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10703-013-0184-6","volume":"43","author":"C Chevalier","year":"2013","unstructured":"Chevalier, C., Delaune, S., Kremer, S., Ryan, M.D.: Composition of password-based protocols. Formal Methods Syst. Des. 43(3), 369\u2013413 (2013). https:\/\/doi.org\/10.1007\/s10703-013-0184-6","journal-title":"Formal Methods Syst. Des."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Ciob\u00e2c\u0103, \u015e., Cortier, V.: Protocol composition for arbitrary primitives. In: CSF, pp. 322\u2013336. IEEE (2010)","DOI":"10.1109\/CSF.2010.29"},{"issue":"1","key":"21_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-008-0059-4","volume":"34","author":"V Cortier","year":"2009","unstructured":"Cortier, V., Delaune, S.: Safely composing security protocols. Formal Methods Syst. Des. 34(1), 1\u201336 (2009). https:\/\/doi.org\/10.1007\/s10703-008-0059-4","journal-title":"Formal Methods Syst. Des."},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-15497-3_19","volume-title":"Computer Security \u2013 ESORICS 2010","author":"S Escobar","year":"2010","unstructured":"Escobar, S., Meadows, C., Meseguer, J., Santiago, S.: Sequential protocol composition in Maude-NPA. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol. 6345, pp. 303\u2013318. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15497-3_19"},{"key":"21_CR11","doi-asserted-by":"publisher","unstructured":"Gro\u00df, T., M\u00f6dersheim, S.: Vertical protocol composition. In: CSF, pp. 235\u2013250 (2011). https:\/\/doi.org\/10.1109\/CSF.2011.23","DOI":"10.1109\/CSF.2011.23"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-00596-1_22","volume-title":"Foundations of Software Science and Computational Structures","author":"JD Guttman","year":"2009","unstructured":"Guttman, J.D.: Cryptographic protocol composition via the authentication tests. In: de Alfaro, L. (ed.) FoSSaCS 2009. LNCS, vol. 5504, pp. 303\u2013317. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00596-1_22"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Guttman, J.D., Thayer, F.J.: Protocol independence through disjoint encryption. In: CSFW, pp. 24\u201334. IEEE (2000)","DOI":"10.1109\/CSFW.2000.856923"},{"key":"21_CR14","doi-asserted-by":"publisher","unstructured":"Heintze, N., Tygart, J.D.: A model for secure protocols and their compositions. In: Security and Privacy, pp. 2\u201313, May 1994. https:\/\/doi.org\/10.1109\/RISP.1994.296596","DOI":"10.1109\/RISP.1994.296596"},{"key":"21_CR15","unstructured":"Hess, A.V., M\u00f6dersheim, S.A., Brucker, A.D.: Stateful protocol composition (extended version). Technical report, DTU Compute (2018). Technical report-2018-03. https:\/\/people.compute.dtu.dk\/samo\/"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Hess, A.V., M\u00f6dersheim, S.: Formalizing and proving a typing result for security protocols in Isabelle\/HOL. In: CSF (2017)","DOI":"10.1109\/CSF.2017.27"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Hess, A.V., M\u00f6dersheim, S.: A typing result for stateful protocols. In: CSF (2018)","DOI":"10.1109\/CSF.2018.00034"},{"key":"21_CR18","doi-asserted-by":"publisher","unstructured":"K\u00fcsters, R., Tuengerthal, M.: Composition theorems without pre-established session identifiers. In: CCS, pp. 41\u201350. ACM, New York (2011). https:\/\/doi.org\/10.1145\/2046707.2046715","DOI":"10.1145\/2046707.2046715"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-04444-1_21","volume-title":"Computer Security \u2013 ESORICS 2009","author":"S M\u00f6dersheim","year":"2009","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: Secure pseudonymous channels. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 337\u2013354. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04444-1_21"},{"key":"21_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","author":"T Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"}],"container-title":["Lecture Notes in Computer Science","Computer Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99073-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T08:59:05Z","timestamp":1751792345000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-99073-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319990729","9783319990736"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99073-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"8 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2018.upc.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}