{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:01:22Z","timestamp":1725487282077},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404934"},{"type":"electronic","value":"9783540450610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45061-0_75","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:54:04Z","timestamp":1184586844000},"page":"969-983","source":"Crossref","is-referenced-by-count":1,"title":["Secrecy in Untrusted Networks"],"prefix":"10.1007","author":[{"given":"Michele","family":"Bugliesi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Crafa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amela","family":"Prelic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimiro","family":"Sassone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"75_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1007\/BFb0055109","volume-title":"Proceedings of ICALP\u201998","author":"M. Abadi","year":"1998","unstructured":"M. Abadi. Protection in programming-language translations. In Proceedings of ICALP\u201998, number 1443 in LNCS, pages 868\u2013883. Springer-Verlag, 1998."},{"key":"75_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and B. Blanchet. Analyzing security protocols with secrecy types and logic programs. In Proceedings of POPL\u201902, pages 33\u201344. ACM Press, 2002.","DOI":"10.1145\/503272.503277"},{"issue":"1","key":"75_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"M. Abadi and A. Gordon. A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation, 148(1):1\u201370, 1999.","journal-title":"Information and Computation"},{"key":"75_CR4","doi-asserted-by":"crossref","unstructured":"M. Bugliesi and G. Castagna. Secure safe ambients. In Procedings of POPL\u201901, pages 222\u2013235. ACM Press, 2001.","DOI":"10.1145\/360204.360223"},{"key":"75_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-45500-0_2","volume-title":"Proceedings of TACS\u201901","author":"M. Bugliesi","year":"2001","unstructured":"M. Bugliesi, G. Castagna, and S. Crafa. Boxed ambients. In Proceedings of TACS\u201901, number 2215 in LNCS, pages 38\u201363. Springer-Verlag, 2001."},{"key":"75_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44685-0_8","volume-title":"Proceedings of CONCUR 2001","author":"M. Bugliesi","year":"2001","unstructured":"M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Proceedings of CONCUR 2001, number 2154 in LNCS, pages 102\u2013120. Springer-Verlag, 2001."},{"key":"75_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/3-540-36206-1_8","volume-title":"FST&TCS 2002","author":"M. Bugliesi","year":"2002","unstructured":"M. Bugliesi, S. Crafa, M. Merro, and V. Sassone. Communication interference in mobile boxed ambients. In FST&TCS 2002, volume 2556 of LNCS, pages 71\u201384. Springer-Verlag, 2002."},{"key":"75_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli. Abstractions for mobile computations. In Secure Internet Programming, number 1603 in LNCS, pages 51\u201394. Springer-Verlag, 1999."},{"key":"75_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-44618-4_27","volume-title":"Proceedings of CONCUR\u201900","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In Proceedings of CONCUR\u201900, number 1877 in LNCS, pages 365\u2013379. Springer-Verlag, August 2000."},{"key":"75_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"FoSSaCS\u201998","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. Gordon. Mobile ambients. In FoSSaCS\u201998, number 1378 in LNCS, pages 140\u2013155. Springer-Verlag, 1998."},{"key":"75_CR11","doi-asserted-by":"crossref","unstructured":"S. Crafa, M. Bugliesi, and G. Castagna. Information Flow Security for Boxed Ambients. ENTCS, 66(3), 2002.","DOI":"10.1016\/S1571-0661(04)80417-1"},{"key":"75_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. Klaim: a kernel language for agents interaction and mobility. IEEE Transactions on Software Engeneering, 24:315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engeneering"},{"key":"75_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of IFIP TCS\u201900","author":"C. Fournet","year":"2000","unstructured":"C. Fournet, J-J. Levy, and Schmitt. A. An asynchronous, distributed implementation of mobile ambients. In Proceedings of IFIP TCS\u201900, number 1872 in LNCS. Springer-Verlag, 2000."},{"key":"75_CR14","doi-asserted-by":"crossref","unstructured":"A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In Proceedings of CSFW 2001, pages 145\u2013159. IEEE Computer Society, 2001.","DOI":"10.1109\/CSFW.2001.930143"},{"key":"75_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-48749-2_5","volume-title":"Secure Internet Programming: Security Issues for Mobile and Distributed Objects","author":"M. Hennesy","year":"1999","unstructured":"M. Hennesy and J. Riely. Type-safe execution of mobile agents in anonymous networks. In Secure Internet Programming: Security Issues for Mobile and Distributed Objects, number 1603 in LNCS, pages 95\u2013115. Springer-Verlag, 1999."},{"key":"75_CR16","doi-asserted-by":"crossref","unstructured":"F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings of POPL\u201900, pages 352\u2013364. ACM Press, 2000.","DOI":"10.1145\/325694.325741"},{"key":"75_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Parts I and II. Information and Computation, 100:1\u201377, September 1992.","journal-title":"Information and Computation"},{"key":"75_CR18","doi-asserted-by":"crossref","unstructured":"T. Sander and C. Tschudin. Towards mobile cryptography. In Proceedings of the IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 1998.","DOI":"10.1109\/SECPRI.1998.674837"},{"key":"75_CR19","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi and A. Valente. A distributed abstract machine for safe ambients. In Proc. of ICALP 2001, pages 408\u2013420, 2001.","DOI":"10.1007\/3-540-48224-5_34"},{"key":"75_CR20","unstructured":"U. G. Wilhelm, L. Butty\u00e0n, and S. Staamann. On the problem oftrust in mobile agent systems. In Symposium on Network and Distributed System Security. Internet Society, 1998."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45061-0_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:13:10Z","timestamp":1556665990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45061-0_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404934","9783540450610"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45061-0_75","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}