{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:38:06Z","timestamp":1778297886074,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540206934","type":"print"},{"value":"9783540409816","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40981-6_8","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:17:45Z","timestamp":1277234265000},"page":"71-80","source":"Crossref","is-referenced-by-count":10,"title":["Analysing Security Protocols"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Gollmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Needham, R.: Prudent engineering pratice for cryptographic protocols. In: Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, pp. 122\u2013136 (1994)","DOI":"10.1109\/RISP.1994.296587"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/JSAC.2002.806133","volume":"21","author":"G. Bella","year":"2003","unstructured":"Bella, G., Masacci, F., Paulson, L.C.: Verifying the SET registration protocols. IEEE Journal on Selected Areas in Communications\u00a021(1), 77\u201387 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/10722599_10","volume-title":"Computer Security - ESORICS 2000","author":"G. Bella","year":"2000","unstructured":"Bella, G., Masacci, F., Paulson, L.C., Tramontano, P.: Formal verification of cardholder registration in SET. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds.) ESORICS 2000. LNCS, vol.\u00a01895, pp. 159\u2013174. Springer, Heidelberg (2000)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-48329-2_21","volume-title":"Advances in Cryptology - CRYPTO \u201993","author":"M. Bellare","year":"1994","unstructured":"Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol.\u00a0773, pp. 232\u2013249. Springer, Heidelberg (1994)"},{"issue":"5","key":"8_CR5","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1109\/49.223869","volume":"11","author":"R. Bird","year":"1993","unstructured":"Bird, R., Gopal, I., Herzberg, A., Janson, P.A., Kutten, S., Molva, R., Yung, M.: Systematic design of a family of attack-resistant authentication protocols. IEEE Journal on Selected Areas in Communications\u00a011(5), 679\u2013693 (1993)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-46766-1_3","volume-title":"Advances in Cryptology - CRYPTO \u201991","author":"R. Bird","year":"1992","unstructured":"Bird, R., Gopal, I., Herzberg, A., Janson, P., Kutten, S., Molva, R., Yung, M.: Systematic design of two-party authentication protocols. In: Feigenbaum, J. (ed.) CRYPTO 1991. LNCS, vol.\u00a0576, pp. 44\u201361. Springer, Heidelberg (1992)"},{"issue":"10","key":"8_CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/2.955101","volume":"34","author":"M. Bond","year":"2001","unstructured":"Bond, M., Anderson, R.: API-level attacks on embedded systems. IEEE Computer\u00a034(10), 67\u201375 (2001)","journal-title":"IEEE Computer"},{"key":"8_CR8","unstructured":"Burrows, M., Abadi, M., Needham, R.: Authentication: A practical study in belief and action. In: Vardi, M.Y. (ed.) Theoretical Aspects of Reasoning About Knowledge, pp. 325\u2013342 (1988)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. DEC Systems Research Center, Report 39, revised February 22 (1990)","DOI":"10.1145\/74850.74852"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-36178-2_17","volume-title":"Advances in Cryptology - ASIACRYPT 2002","author":"J. Courtois","year":"2002","unstructured":"Courtois, J., Pieprzyk, N.T.: Cryptanalysis of block ciphers with overdefined systems of equations. In: Zheng, Y. (ed.) ASIACRYPT 2002. LNCS, vol.\u00a02501, pp. 267\u2013287. Springer, Heidelberg (2002)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Ellison, C.M., Frantz, B., Lampson, B., Rivest, R., Thomas, B.M., Ylonen, T.: SPKI Certificate Theory, RFC 2693 (September 1999)","DOI":"10.17487\/rfc2693"},{"key":"8_CR12","unstructured":"International Organisation for Standardization. Basic Reference Model for Open Systems Interconnection (OSI) Part 2: Security Architecture. Gen\u00e8ve, Switzerland (1989)"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/JSAC.2002.806132","volume":"21","author":"D. Gollmann","year":"2003","unstructured":"Gollmann, D.: Authentication by correspondence. IEEE Journal on Selected Areas in Communications\u00a021(1), 88\u201395 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-40981-6_10","volume-title":"Formal Aspects of Security","author":"S. G\u00fcrgens","year":"2003","unstructured":"G\u00fcrgens, S., Rudolph, C.: Security analysis of (un-) fair nonrepudiation protocols. In: Abdallah, A.E., Ryan, P.Y.A., Schneider, S. (eds.) FASec 2002. LNCS, vol.\u00a02629, pp. 97\u2013114. Springer, Heidelberg (2003)"},{"key":"#cr-split#-8_CR15.1","unstructured":"Harkins, D., Kaufman, C., Kivinen, T., Kent, S., Perlman, R.: Design Rationale for IKEv2 (February 2002);"},{"key":"#cr-split#-8_CR15.2","unstructured":"Internet Draft, draft-ietf-ipsec-ikev2- rationale-00.txt"},{"key":"8_CR16","unstructured":"International Organization for Standardization. Information technology \u2013 Security techniques \u2013 Entity authentication mechanisms; Part 3: Entity authentication mechanisms using a public key algorithm. Gen\u00e8ve, Switzerland, ISO\/IEC 9798-3 (August 1993)"},{"key":"#cr-split#-8_CR17.1","doi-asserted-by":"crossref","unstructured":"Johnson, D., Perkins, C., Arkko, J.: Mobility Support in IPv6 (January 2003);","DOI":"10.17487\/rfc3775"},{"key":"#cr-split#-8_CR17.2","unstructured":"Internet Draft, draft-ietf-mobileip-ipv6-20.txt"},{"key":"#cr-split#-8_CR18.1","unstructured":"Kaufman, C.: Internet Key Exchange (IKEv2) Protocol (January 2003);"},{"key":"#cr-split#-8_CR18.2","unstructured":"Internet Draft, draft-ietf-ipsec-ikev2-04.txt"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/49.17707","volume":"7","author":"R.A. Kemmerer","year":"1989","unstructured":"Kemmerer, R.A.: Aanalyzing encryption protocols using formal verification techniques. IEEE Journal on Selected Areas in Communications\u00a07(4), 448\u2013457 (1989)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-48519-8_7","volume-title":"Fast Software Encryption","author":"L.R. Knudsen","year":"1999","unstructured":"Knudsen, L.R., Rijmen, V.: On the decorrelated fast cipher (DFC) and its theory. In: Knudsen, L.R. (ed.) FSE 1999. LNCS, vol.\u00a01636, pp. 81\u201394. Springer, Heidelberg (1999)"},{"key":"8_CR21","volume-title":".NET Framework Security","author":"B. LaMacchia","year":"2002","unstructured":"LaMacchia, B., Lange, S., Lyons, M., Martin, R., Price, K.:NET Framework Security. Addison Wesley Professional, Reading (2002)"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0167-4048(92)90222-D","volume":"11","author":"D. Longley","year":"1992","unstructured":"Longley, D., Rigby, S.: An automatic search for security flaws in key management schemes. Computers & Security\u00a011(1), 75\u201389 (1992)","journal-title":"Computers & Security"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45807-7_10","volume-title":"Security Protocols","author":"S. M\u00e4ki","year":"2002","unstructured":"M\u00e4ki, S., Aura, T.: Towards a survivable security architecture for ad-hoc networks. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2001. LNCS, vol.\u00a02467, pp. 63\u201373. Springer, Heidelberg (2002)"},{"key":"8_CR24","unstructured":"M\u00e4ki, S., Aura, T., Hietalahti, M.: Robust membership management for ad-hoc groups. In: Proceedings of the 5th Nordic Workshop on Secure IT Systems, NORDSEC 2000 (2000)"},{"key":"8_CR25","volume-title":"Handbook of Applied Cryptography","author":"A.J. Menezes","year":"1997","unstructured":"Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1997)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720107_1","volume-title":"Security Protocols","author":"R. Needham","year":"2000","unstructured":"Needham, R.: Keynote address: The changing environment (transcript of discussion). In: Malcolm, J.A., Christianson, B., Crispo, B., Roe, M. (eds.) Security Protocols 1999. LNCS, vol.\u00a01796, pp. 1\u20135. Springer, Heidelberg (2000)"},{"issue":"3","key":"8_CR27","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"L.C. Paulson","year":"1999","unstructured":"Paulson, L.C.: Inductive analysis of the internet protocol TLS. ACM Transactions on Information and System Security\u00a02(3), 332\u2013351 (1999)","journal-title":"ACM Transactions on Information and System Security"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Schaefer, M.: Symbol security condition considered harmful. In: Proceedings of the 1989 IEEE Symposium on Security and Privacy, pp. 20\u201346 (1989)","DOI":"10.1109\/SECPRI.1989.36275"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BFb0028566","volume-title":"STACS 98","author":"S. Vaudenay","year":"1998","unstructured":"Vaudenay, S.: Provable security for block ciphers by decorrelation. In: Meinel, C., Morvan, M. (eds.) STACS 1998. LNCS, vol.\u00a01373, pp. 249\u2013275. Springer, Heidelberg (1998)"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Woo, T.Y.C., Lam, S.S.: A semantic model for authentication protocols. In: Proceedings of the 1993 IEEE Symposium on Research in Security and Privacy, pp. 178\u2013194 (1993)","DOI":"10.1109\/RISP.1993.287633"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40981-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T00:01:17Z","timestamp":1635552077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40981-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206934","9783540409816"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40981-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}