{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:06:00Z","timestamp":1790813160049,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540366355","type":"print"},{"value":"9783540366362","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_43","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T12:25:42Z","timestamp":1154953542000},"page":"449-450","source":"Crossref","is-referenced-by-count":4,"title":["A Declarative Framework for Security: Secure Concurrent Constraint Programming"],"prefix":"10.1007","author":[{"given":"Hugo A.","family":"L\u00f3pez","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Camilo","family":"Rueda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"Amadio, R., Lugiez, D., Vanackere, V.: On the symbolic reduction of processes with cryptographic functions. TCS: Theoretical Computer Science\u00a0290 (2003)","DOI":"10.1016\/S0304-3975(02)00090-7"},{"key":"43_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-45694-5_32","volume-title":"CONCUR 2002 - Concurrency Theory","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., Buscemi, M.G.: A Framework for the Analysis of Security Protocols. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 483. Springer, Heidelberg (2002)"},{"key":"43_CR3","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/501983.501998","volume-title":"Proceedings of the 8th ACM Conference on Computer and Communications Security","author":"F. Crazzolara","year":"2001","unstructured":"Crazzolara, F., Winskel, G.: Events in security protocols. In: Samarati, P. (ed.) Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, PA, USA, pp. 96\u2013105. ACM Press, New York (2001)"},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/CSFW.2001.930144","volume-title":"14th IEEE Computer Security Foundations Workshop","author":"M. Fiore","year":"2001","unstructured":"Fiore, M., Abadi, M.: Computing symbolic models for verifying cryptographic protocols. In: 14th IEEE Computer Security Foundations Workshop, pp. 160\u2013173. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"2","key":"43_CR5","first-page":"145","volume":"9","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.: Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing\u00a09(2), 145\u2013188 (2002)","journal-title":"Nordic Journal of Computing"},{"key":"43_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-45500-0_11","volume-title":"Theoretical Aspects of Computer Software","author":"A.M. Pitts","year":"2001","unstructured":"Pitts, A.M.: Nominal Logic: A First Order Theory of Names and Binding. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, p. 219. Springer, Heidelberg (2001)"},{"key":"43_CR7","unstructured":"Palamidessi, C., Saraswat, V., Victor, B., Valencia, F.: On the expressiveness of recursion vs replication in the asynchronous pi-calculus. In: LICS 2006 (to appear, 2006)"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Rossi, F., Montanari, U.: Concurrent semantics for concurrent constraint programming. In: Constraint Programming: Proc. 1993 NATO ASI, pp. 181\u2013220 (1994)","DOI":"10.1007\/978-3-642-85983-0_8"},{"key":"43_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. Saraswat","year":"1993","unstructured":"Saraswat, V.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)"},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 324\u2013343. Springer, Heidelberg (1995)"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Rinard, M., Panangaden, P.: The semantic foundations of concurrent constraint programming. In: POPL 1991, pp. 333\u2013352 (1991)","DOI":"10.1145\/99583.99627"},{"issue":"3","key":"43_CR12","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.tcs.2004.10.009","volume":"330","author":"F. Valencia","year":"2005","unstructured":"Valencia, F.: Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci.\u00a0330(3), 577\u2013607 (2005)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:19Z","timestamp":1605643879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11799573_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}