{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T22:10:11Z","timestamp":1751407811046,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319756493"},{"type":"electronic","value":"9783319756509"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75650-9_4","type":"book-chapter","created":{"date-parts":[[2018,2,16]],"date-time":"2018-02-16T15:14:32Z","timestamp":1518794072000},"page":"53-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Analysis of Combinations of Secure Protocols"],"prefix":"10.1007","author":[{"given":"Elliott","family":"Blot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jannik","family":"Dreier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,17]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M Abadi","year":"1996","unstructured":"Abadi, M., Needham, R.: Prudent engineering practice for cryptographic protocols. IEEE Trans. Softw. Eng. 22(1), 6\u201315 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A Armando","year":"2005","unstructured":"Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., Drielsma, P.H., He\u00e1m, P.C., Kouchnarenko, O., Mantovani, J., M\u00f6dersheim, S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Vigan\u00f2, L., Vigneron, L.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_27"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Proceedings of the 14th IEEE Workshop on Computer Security Foundations, CSFW 2001, Washington, DC, USA, pp. 82\u201396. IEEE Computer Society (2001)","DOI":"10.1109\/CSFW.2001.930138"},{"issue":"1","key":"4_CR4","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 Trans. Comput. Syst. 8(1), 18\u201336 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Buttyan, L., Staamann, S., Wilhelm, U.: A simple logic for authentication protocol design. In: 11th IEEE Computer Security Foundations Workshop, pp. 153\u2013162. IEEE Computer Society Press (1998)","DOI":"10.1109\/CSFW.1998.683165"},{"key":"4_CR6","unstructured":"Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. Cryptology ePrint Archive, Report 2000\/067 (2000). http:\/\/eprint.iacr.org\/2000\/067"},{"key":"4_CR7","unstructured":"Clark, J., Jacob, J.: A survey of authentication protocol literature: version 1.0 (1997)"},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0020-0190(95)00136-Z","volume":"56","author":"JA Clark","year":"1995","unstructured":"Clark, J.A., Jacob, J.: On the security of recent protocols. Inf. Process. Lett. 56(3), 151\u2013155 (1995)","journal-title":"Inf. Process. Lett."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"C. Cremers. Feasibility of multi-protocol attacks. In: Proceedings of the First International Conference on Availability, Reliability and Security (ARES), Vienna, Austria, pp. 287\u2013294. IEEE Computer Society (2006)","DOI":"10.1109\/ARES.2006.63"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Cremers, C., Mauw, S.: Security properties. In: Operational Semantics and Verification of Security Protocols. ISC, pp. 37\u201365. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-540-78636-8_4","DOI":"10.1007\/978-3-540-78636-8_4"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2006.08.034","volume":"367","author":"C Cremers","year":"2006","unstructured":"Cremers, C., Mauw, S., de Vink, E.: Injective synchronisation: an extension of the authentication hierarchy. Theor. Comput. Sci. 367(1), 139\u2013161 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Cremers, C.J.: Unbounded verification, falsification, and characterization of security protocols by pattern refinement. In: Proceedings of the 15th ACM Conference on Computer and Communications Security, CCS 2008, pp. 119\u2013128. ACM, New York (2008)","DOI":"10.1145\/1455770.1455787"},{"issue":"8","key":"4_CR13","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"DE Denning","year":"1981","unstructured":"Denning, D.E., Sacco, G.M.: Timestamps in key distribution protocols. Commun. ACM 24(8), 533\u2013536 (1981)","journal-title":"Commun. ACM"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"677","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"NA Durgin","year":"2003","unstructured":"Durgin, N.A., Mitchell, J.C., Pavlovic, D.: A compositional logic for proving security properties of protocols. J. Comput. Secur. 11(4), 677\u2013722 (2003)","journal-title":"J. Comput. Secur."},{"key":"4_CR15","unstructured":"Elliott, B., Dreier, J., Lafourcade, P.: Formal Analysis of Combinations of Secure Protocols (Extended Version). Technical report (2017). https:\/\/hal.archives-ouvertes.fr\/hal-01558552v3"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0020-0190(94)00175-X","volume":"53","author":"T Hwang","year":"1995","unstructured":"Hwang, T., Chen, Y.-H.: On the security of SPLICE\/AS - the authentication system in WIDE internet. Inf. Process. Lett. 53(2), 97\u2013101 (1995)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/206826.206832","volume":"29","author":"I-L Kao","year":"1995","unstructured":"Kao, I.-L., Chow, R.: An efficient and secure authentication protocol using uncertified keys. SIGOPS Oper. Syst. Rev. 29(3), 14\u201321 (1995)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0028162","volume-title":"Security Protocols","author":"J Kelsey","year":"1998","unstructured":"Kelsey, J., Schneier, B., Wagner, D.: Protocol interactions and the chosen protocol attack. In: Christianson, B., Crispo, B., Lomas, M., Roe, M. (eds.) Security Protocols 1997. LNCS, vol. 1361, pp. 91\u2013104. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0028162"},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the needham-schroeder public-key authentication protocol. Inf. Process. Lett. 56(3), 131\u2013133 (1995)","journal-title":"Inf. Process. Lett."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Lowe, G.: A hierarchy of authentication specification. In: 10th Computer Security Foundations Workshop (CSFW 1997), 10\u201312 June 1997, Rockport, Massachusetts, USA, pp. 31\u201344. IEEE Computer Society (1997)","DOI":"10.1109\/CSFW.1997.596782"},{"issue":"2\u20133","key":"4_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.3233\/JCS-1999-72-302","volume":"7","author":"G Lowe","year":"1999","unstructured":"Lowe, G.: Towards a completeness result for model checking of security protocols. J. comput. secur. 7(2\u20133), 89\u2013146 (1999)","journal-title":"J. comput. secur."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Mathuria, A., Singh, A.R., Shravan, P.V., Kirtankar, R.: Some new multi-protocol attacks. In: Proceedings of the 15th International Conference on Advanced Computing and Communications, ADCOM 2007, Washington, DC, USA, pp. 465\u2013471. IEEE Computer Society (2007)","DOI":"10.1109\/ADCOM.2007.112"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-39799-8_48","volume-title":"Computer Aided Verification","author":"S Meier","year":"2013","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 696\u2013701. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_48"},{"issue":"12","key":"4_CR24","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"issue":"1","key":"4_CR25","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/24592.24593","volume":"21","author":"RM Needham","year":"1987","unstructured":"Needham, R.M., Schroeder, M.D.: Authentication revisited. SIGOPS Oper. Syst. Rev. 21(1), 7 (1987)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Perrig, A., Song, D.: Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocols. In: Proceedings of the 13th IEEE Workshop on Computer Security Foundations, CSFW 2000, Washington, DC, USA, pp. 64\u201376. IEEE Computer Society (2000)","DOI":"10.1109\/CSFW.2000.856926"},{"issue":"1\u20132","key":"4_CR27","doi-asserted-by":"publisher","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","volume":"9","author":"DX Song","year":"2001","unstructured":"Song, D.X., Berezin, S., Perrig, A.: Athena: a novel approach to efficient automatic security protocol analysis. J. Comput. Secur. 9(1\u20132), 47\u201374 (2001)","journal-title":"J. Comput. Secur."},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/182110.182113","volume":"28","author":"TYC Woo","year":"1994","unstructured":"Woo, T.Y.C., Lam, S.S.: A lesson on authentication protocol design. SIGOPS Oper. Syst. Rev. 28(3), 24\u201337 (1994)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"11","key":"4_CR29","first-page":"3902","volume":"74","author":"S Yamaguchi","year":"1991","unstructured":"Yamaguchi, S., Okayama, K., Miyahara, H.: The design and implementation of an authentication system for the wide area distributed environment. IEICE Trans. Inf. Syst. 74(11), 3902\u20133909 (1991)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Zhou, H., Foley, S.N.: Fast automatic synthesis of security protocols using backward search. In: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering, FMSE 2003, pp. 1\u201310. ACM, New York (2003)","DOI":"10.1145\/1035429.1035430"}],"container-title":["Lecture Notes in Computer Science","Foundations and Practice of Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75650-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T21:55:03Z","timestamp":1751406903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75650-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319756493","9783319756509"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75650-9_4","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":"17 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FPS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations and Practice of Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nancy","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fps2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fps2017.loria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}