{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:09:37Z","timestamp":1794355777931,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540681229","type":"print"},{"value":"9783540681236","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68123-6_70","type":"book-chapter","created":{"date-parts":[[2008,5,9]],"date-time":"2008-05-09T08:11:39Z","timestamp":1210320699000},"page":"638-643","source":"Crossref","is-referenced-by-count":3,"title":["A Logic Programming Based Framework for Security Protocol Verification"],"prefix":"10.1007","author":[{"given":"Shujing","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"70_CR1","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/11593447_31","volume-title":"Advances in Cryptology - Asiacrypt 2005","author":"M. Abdalla","year":"2005","unstructured":"Abdalla, M., Chevassut, O., Fouque, P., Pointcheval, D.: A Simple Threshold Authenticated key Exchange from Short Secrets. In: Advances in Cryptology - Asiacrypt 2005, pp. 566\u2013584. Springer, Heidelberg (2005)"},{"issue":"2","key":"70_CR2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s00145-001-0014-7","volume":"15","author":"M. Abadi","year":"2002","unstructured":"Abadi, M., Rogaway, P.: Reconciling Two Views of Cryptography (The Computaiotnal Soundness of Formal Encryption). Journal of Cryptology\u00a015(2), 103\u2013127 (2002)","journal-title":"Journal of Cryptology"},{"issue":"4","key":"70_CR3","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1145\/383779.383785","volume":"2","author":"L.C. Aiello","year":"2001","unstructured":"Aiello, L.C., Massacci, F.: Verifying Security Protocols as Planning in Logic Programming. ACM Transactions on Computational Logic\u00a02(4), 542\u2013580 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"70_CR4","series-title":"Lecture Notes in Computer Science","first-page":"310","volume-title":"STACS 2003","author":"M. Backes","year":"2003","unstructured":"Backes, M., Jacobi, C.: Cryptographically Sound and Machine-Assisted Verification of Security Protocols. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol.\u00a02607, pp. 310\u2013329. Springer, Heidelberg (2003)"},{"key":"70_CR5","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge"},{"key":"70_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-36288-6_12","volume-title":"Public Key Cryptography - PKC 2003","author":"C. Boyd","year":"2002","unstructured":"Boyd, C., Gonz\u00e1lez Nieto, J.M.: Round-optimal Contributory Conference Key Agreement. In: Desmedt, Y.G. (ed.) PKC 2003. LNCS, vol.\u00a02567, pp. 161\u2013174. Springer, Heidelberg (2002)"},{"key":"70_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-45539-6_11","volume-title":"Advances in Cryptology - EUROCRYPT 2000","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Pointcheval, D., Rogaway, P.: Authenticated key exchange secure against dictionary attacks. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol.\u00a01807, pp. 139\u2013155. Springer, Heidelberg (2000)"},{"key":"70_CR8","doi-asserted-by":"crossref","unstructured":"Choo, K.R.: Refuting Security Proofs for Tipartite Key Exchange with Model Checker in Planning Problem Setting. In: The 19th IEEE Computer Security Foundations Workshop - CSFW 2006, pp. 297\u2013308 (2006)","DOI":"10.1109\/CSFW.2006.26"},{"key":"70_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-540-24852-1_16","volume-title":"Applied Cryptography and Network Security","author":"I.R. Jeong","year":"2004","unstructured":"Jeong, I.R., Katz, J., Lee, D.H.: One-Round Protocols for Two-Party Authenticated Key Exchange. In: Jakobsson, M., Yung, M., Zhou, J. (eds.) ACNS 2004. LNCS, vol.\u00a03089, pp. 220\u2013232. Springer, Heidelberg (2004)"},{"key":"70_CR10","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/CSFW.1996.503701","volume-title":"Proceedings of the 9th IEEE Computer Security Foundatons Workshop (CSFW 1996)","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Some New Attacks upon Security Protocols. In: Proceedings of the 9th IEEE Computer Security Foundatons Workshop (CSFW 1996), pp. 162\u2013169. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"70_CR11","unstructured":"Niemela, I., Simons, P., Syrjanen, T.: Smodels: A system for answer set programming. In: Proceedings of the 8th International Workshop on Non-monotonic Reasoning (2000)"},{"key":"70_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security\u00a06, 85\u2013128 (1998)","journal-title":"Journal of Computer Security"},{"issue":"15","key":"70_CR13","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0020-0190(97)00180-4","volume":"65","author":"P. Ryan","year":"1998","unstructured":"Ryan, P., Schneider, S.: An Attack on a Recursive Authentication Protocol: A Cautionary Tale. Information Processing Letters\u00a065(15), 7\u201316 (1998)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68123-6_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T00:16:14Z","timestamp":1738196174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68123-6_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540681229","9783540681236"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68123-6_70","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-68123-6","asserted-by":"object"}]},"subject":[]}}