{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:05:18Z","timestamp":1742936718741,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229872"},{"type":"electronic","value":"9783540301080"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30108-0_4","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T14:15:03Z","timestamp":1284646503000},"page":"53-72","source":"Crossref","is-referenced-by-count":24,"title":["Deriving, Attacking and Defending the GDOI Protocol"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dusko","family":"Pavlovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Asokan, N., Niemi, V., Nyberg, K.: Man-in-the-middle in tunnelled authentication protocols. In: 2003 Cambridge Security Protocol Workshop (April 2-4, 2003)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: A universally composable cryptographic library. Cryptology ePrint Archive, Report 2003\/015 (2003), \n                  \n                    http:\/\/eprint.iacr.org\/","DOI":"10.1145\/948109.948140"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Baugher, M., Weis, B., Hardjono, T., Harney, H.: The group domain of interpretation. IETF RFC 3547 (July 2003)","DOI":"10.17487\/rfc3547"},{"key":"4_CR4","unstructured":"Blunk, L., Vollbrecht, J., Aboba, B., Carlson, J., Levkowetz, H.: Extensible authentication protocol (eap). IETF RFC 2284bis (November 27, 2003)"},{"issue":"1","key":"4_CR5","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 in Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions in Computer Systems"},{"key":"4_CR6","volume-title":"Proceedings of the 42nd IEEE Symposium on the Foundations of Computer Science","author":"R. Canetti","year":"2001","unstructured":"Canetti, R.: Universally composable security: A new paradigm for cryptographic protocols. In: Proceedings of the 42nd IEEE Symposium on the Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"4_CR7","first-page":"109","volume-title":"IEEE Computer Security Foundations Workshop","author":"A. Datta","year":"2003","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.: A derivation system for security protocols and its logical formalization. In: IEEE Computer Security Foundations Workshop, Pacific Grove, CA, June 2003, pp. 109\u2013125. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR8","first-page":"109","volume-title":"Proceedings of ACM FMCS 2003","author":"A. Datta","year":"2003","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.: Secure protocol composition. In: Proceedings of ACM FMCS 2003, Washington, DC, October 2003, pp. 109\u2013125. ACM Press, New York (2003)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"Diffie, W., van Oorschot, P.C., Wiener, M.l.J.: Authentication and Authenticated Key Exchanges. Designs,Codes, and Cryptography\u00a02, 107\u2013125 (1992)","journal-title":"Designs,Codes, and Cryptography"},{"issue":"4","key":"4_CR10","doi-asserted-by":"crossref","first-page":"667","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"N.A. Durgin","year":"2003","unstructured":"Durgin, N.A., Mitchell, J.C., Pavlovic, D.: A compositional logic for proving security properties of protocols. Journal of Computer Security\u00a011(4), 667\u2013721 (2003)","journal-title":"Journal of Computer Security"},{"key":"4_CR11","first-page":"241","volume-title":"Proceedings of CSFW 2001","author":"N. Durgin","year":"2001","unstructured":"Durgin, N., Mitchell, J.C., Pavlovic, D.: A compositional logic for protocol correctness. In: Schneider, S. (ed.) Proceedings of CSFW 2001, pp. 241\u2013255. IEEE, Los Alamitos (2001)"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0304-3975(01)00139-6","volume":"283","author":"J. Guttman","year":"2002","unstructured":"Guttman, J., Thayer, F.J.: Authentication tests and the structure of bundles. Theor. Comput. Sci.\u00a0283(2), 333\u2013380 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Harkins, D., Carrel, D.: The Internet Key Exchange (IKE). IETF RFC 2409 (November 1998)","DOI":"10.17487\/rfc2409"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/CSFW.1997.596782","volume-title":"Proceedings of the 10th IEEE Computer Security Foundations Workshop","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proceedings of the 10th IEEE Computer Security Foundations Workshop, pp. 31\u201343. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-540-45187-7_22","volume-title":"CONCUR 2003 - Concurrency Theory","author":"P. Mateus","year":"2003","unstructured":"Mateus, P., Mitchell, J.C., Scedrov, A.: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 327\u2013349. Springer, Heidelberg (2003)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Meadows, C., Syverson, P., Cervesato, I.: Formal specification and analysis of the Group Domain of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. Journal of Computer Security (2004) (to appear), Currently available at \n                  \n                    http:\/\/chacs.nrl.navy.mil\/publications\/CHACS\/2003\/2003meadows-gdoi.pdf","DOI":"10.3233\/JCS-2004-12604"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","volume":"7","author":"F.J. Thayer","year":"1999","unstructured":"Thayer, F.J., Herzog, J., Guttman, J.: Strand Spaces: What Makes a Security Protocol Correct? Journal of Computer Security\u00a07, 191\u2013230 (1999)","journal-title":"Journal of Computer Security"},{"key":"4_CR18","volume-title":"Proceedings IEEE Symposium on Research in Security and Privacy","author":"Y.C. Thomas","year":"1993","unstructured":"Thomas, Y.C.: Woo and Simon S. Lam. A Semantic Model for Authentication Protocols. In: Proceedings IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos (1993)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30108-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:34:59Z","timestamp":1559507699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30108-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229872","9783540301080"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30108-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}