{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:15:21Z","timestamp":1725495321756},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540769279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76929-3_16","type":"book-chapter","created":{"date-parts":[[2007,11,17]],"date-time":"2007-11-17T03:01:14Z","timestamp":1195268474000},"page":"166-180","source":"Crossref","is-referenced-by-count":2,"title":["An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming"],"prefix":"10.1007","author":[{"given":"MengJun","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ti","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZhouJun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HuoWang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/CSFW.2001.930138","volume-title":"14th IEEE Computer Security Foundations Workshop","author":"B. Blanchet","year":"2001","unstructured":"Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: 14th IEEE Computer Security Foundations Workshop, pp. 82\u201396. IEEE Press, Cape Breton, Nova Scotia (2001)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-45789-5_25","volume-title":"Static Analysis","author":"B. Blanchet","year":"2002","unstructured":"Blanchet, B.: From Secrecy to Authenticity in Security Protocols. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 242\u2013259. Springer, Heidelberg (2002)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/503272.503277","volume-title":"29th ACM Symposium on Principles of Programming Languages","author":"M.. Abadi","year":"2002","unstructured":"Abadi, M., Blanchet, B.: Analyzing security protocols with secrecy types and logic programs. In: 29th ACM Symposium on Principles of Programming Languages, pp. 33\u201344. ACM Press, Portland (2002)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/CSFW.2005.25","volume-title":"18th IEEE Computer Security Foundations Workshop","author":"X. Allamigeon","year":"2005","unstructured":"Allamigeon, X., Blanchet, B.: Reconstruction of Attacks against Cryptography Protocols. In: 18th IEEE Computer Security Foundations Workshop, pp. 140\u2013154. IEEE Press, Aix-en-Provence (2005)"},{"issue":"1-2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.tcs.2004.10.018","volume":"333","author":"B. Blanchet","year":"2005","unstructured":"Blanchet, B., Podelski, A.: Verification of cryptographic protocols: tagging enforces termination. Theor. Comput. Sci.\u00a0333(1-2), 67\u201390 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR6","unstructured":"Gori, R., Lastres, E., Moreno, R., Spot, F.: Approximation of the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. In: Freire-Nistal, J.L., Falaschi, M., Villares-Ferro, M. (eds.) Proceedings of the APPIA-GULP-PRODE 1998 Conference, A Coru\u00f1a, Spain, pp. 433\u2013441 (1998)"},{"key":"16_CR7","unstructured":"Durgin, N., Lincoln, P., Mitchell, J., Scedrov, A.: Undecidability of bounded security protocols. In: Heintze, N., Clarke, E. (eds.) Proceedings of the Workshop on Formal Methods and Security Protocols, Trento (1999)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"4th ACM Symposium on Principles of Programing Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM Symposium on Principles of Programing Languages, pp. 238\u2013252. ACM Press, Los Angeles (1977)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-36577-X_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Bozga","year":"2003","unstructured":"Bozga, L., Lakhnech, Y., P\u00e9rin, M.: Pattern-Based Abstraction for Verifying Secrecy in Protocols. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, pp. 299\u2013314. Springer, Heidelberg (2003)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-540-45069-6_23","volume-title":"Computer Aided Verification","author":"L. Bozga","year":"2003","unstructured":"Bozga, L., Lakhnech, Y., P\u00e9rin, M.: HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 219\u2013222. Springer, Heidelberg (2003)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","first-page":"34","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Oehl","year":"2003","unstructured":"Oehl, F., C\u00e9c\u00e9, G., Kouchnarenko, O., Sinclair, D.: Automatic Approximation for the Verification of Cryptographic Protocols. In: Pezz\u00e9, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol.\u00a02621, pp. 34\u201348. Springer, Heidelberg (2003)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1109\/CSF.2007.11","volume-title":"20th IEEE Computer Security Foundation Symposium","author":"M. Backes","year":"2007","unstructured":"Backes, M., Maffei, M., Cortesi, A.: Causality-based Abstraction of Multiplicity in Security Protocols. In: 20th IEEE Computer Security Foundation Symposium, pp. 355\u2013369. IEEE Press, Venice (2007)"},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"898","DOI":"10.1360\/jos170898","volume":"17","author":"M. Li","year":"2006","unstructured":"Li, M., Li, Z., Chen, H.W.: Spvt: An efficient verification tool for security protocol. Chinese Journal of Software\u00a017(4), 898\u2013906 (2006)","journal-title":"Chinese Journal of Software"},{"issue":"9","key":"16_CR14","first-page":"1667","volume":"29","author":"M. Li","year":"2006","unstructured":"Li, M., Li, Z., Chen, H.W.: Security protocol\u2019s extended horn logic model and its verification method. Chinese Journal of Computers\u00a029(9), 1667\u20131678 (2006)","journal-title":"Chinese Journal of Computers"},{"issue":"9","key":"16_CR15","doi-asserted-by":"publisher","first-page":"1518","DOI":"10.1360\/crad20070910","volume":"44","author":"T. Zhou","year":"2007","unstructured":"Zhou, T., Li, M., Li, Z., Chen, H.W.: Automatically Constructing Counter- examples of Security Protocols based on the extended Horn Logic Model. Chinese Journal of computer research and development\u00a044(9), 1518\u20131531 (2007)","journal-title":"Chinese Journal of computer research and development"},{"key":"16_CR16","unstructured":"Clark, J., Joacob, J.: A survey on authentification protocol (1997), \n                      \n                        http:\/\/www.cs.york.ac.uk\/~jac\/papers\/drareviewps.ps"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science \u2013 ASIAN 2007. Computer and Network Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76929-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:47:56Z","timestamp":1619520476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76929-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540769279"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76929-3_16","relation":{},"subject":[]}}