{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T15:54:49Z","timestamp":1771602889046,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540852568","type":"print"},{"value":"9783540852575","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85257-5_24","type":"book-chapter","created":{"date-parts":[[2008,9,6]],"date-time":"2008-09-06T13:31:54Z","timestamp":1220707914000},"page":"239-244","source":"Crossref","is-referenced-by-count":9,"title":["On Establishing and Fixing a Parallel Session Attack in a Security Protocol"],"prefix":"10.1007","author":[{"given":"Reiner","family":"Dojen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anca","family":"Jurcut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Coffey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cornelia","family":"Gyorodi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09527-0","volume-title":"Protocols for authentication and key establishment","author":"C. Boyd","year":"2003","unstructured":"Boyd, C., Mathuria, A.: Protocols for authentication and key establishment. Springer, Berlin (2003)"},{"issue":"1","key":"24_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 TOCS\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems TOCS"},{"issue":"3","key":"24_CR3","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. Information Processing Letters\u00a056(3), 131\u2013136 (1995)","journal-title":"Information Processing Letters"},{"key":"24_CR4","volume-title":"Proceedings of Computer Security Foundations Workshop VIII","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Some new attacks upon security protocols. In: Proceedings of Computer Security Foundations Workshop VIII. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"8","key":"24_CR5","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1145\/358722.358740","volume":"24","author":"D. Denning","year":"1981","unstructured":"Denning, D., Sacco, G.: Timestamps in key distributed protocols. Communication of the ACM\u00a024(8), 533\u2013535 (1981)","journal-title":"Communication of the ACM"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Aura, T.: Strategies against replay attacks. In: Proceedings of the 10th IEEE Computer Society Foundations Workshop, Rockport, MA, pp. 59\u201368 (June 1997)","DOI":"10.1109\/CSFW.1997.596787"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/ietfec\/e90-a.1.299","volume":"90","author":"J. Nam","year":"2007","unstructured":"Nam, J., Kim, S., Park, S., Won, D.: Security analysis of a nonce-based user authentication scheme using smart cards. IEICE Transactions Fundamentals\u00a090(1), 299\u2013302 (2007)","journal-title":"IEICE Transactions Fundamentals"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0020-0190(95)00177-E","volume":"53","author":"T. Hwang","year":"1995","unstructured":"Hwang, T., Lee, N.Y., Li, C.M., Ko, M.Y., Chen, Y.H.: Two attacks on Neumann-Stubblebine authentication protocols. Information Processing Letters\u00a053, 103\u2013107 (1995)","journal-title":"Information Processing Letters"},{"key":"24_CR9","first-page":"255","volume-title":"How to prevent type flaw attacks on security protocols","author":"J. Heather","year":"2000","unstructured":"Heather, J., Lowe, G., Schneider, S.: How to prevent type flaw attacks on security protocols, pp. 255\u2013268. IEEE Computer Society, Los Alamitos (2000)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/BFb0015258","volume-title":"Computer Science Today - Recent Trends and Developments","author":"R. Anderson","year":"1995","unstructured":"Anderson, R., Needham, R.: Programming Satan\u2019s Computer. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 426\u2013440. Springer, Heidelberg (1995)"},{"key":"24_CR11","unstructured":"Lowe, G.: A family of attacks upon authentication protocols. Technical Report 1997\/5, Dept. Mathematics & Computer Science, University of Leicester (1997)"},{"issue":"3","key":"24_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D. Basin","year":"2005","unstructured":"Basin, D., Mdersheim, S., Vigan, L.: OFMC: A symbolic model checker for security protocols. Int. Journal of Information Security\u00a04(3), 181\u2013208 (2005)","journal-title":"Int. Journal of Information Security"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing, Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85257-5_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:32:08Z","timestamp":1619523128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85257-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852568","9783540852575"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85257-5_24","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"value":"1860-949X","type":"print"},{"value":"1860-9503","type":"electronic"}],"subject":[]}}