{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:51:59Z","timestamp":1778298719412,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540414285","type":"print"},{"value":"9783540444640","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44464-5_16","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T23:34:00Z","timestamp":1181172840000},"page":"215-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Security Types for Mobile Safe Ambients"],"prefix":"10.1007","author":[{"given":"M.","family":"Dezani-Ciancaglini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Michele Bugliesi and Giuseppe Castagna. Secure safe ambients. In Proceedings of the 28th ACM Symposium on Principles of Programming Languages, 2001. To appear.","DOI":"10.1145\/360204.360223"},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"ICALP 1999","author":"L. Cardelli","year":"1999","unstructured":"Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Ji\u0159\u00ed Wiederman, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP 1999, volume 1644 of Lecture Notes in Computer Science, pages 230\u2013239. Springer-Verlag, 1999."},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-44929-9_25","volume-title":"Theoretical Computer Science: Exploring New Frontiers in Theoretical Informatics","author":"L. Cardelli","year":"2000","unstructured":"Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Ambient groups and mobility types. In Jan van Leeuwen et al., editor, Theoretical Computer Science: Exploring New Frontiers in Theoretical Informatics, volume 1872 of Lecture Notes in Computer Science, pages 333\u2013347. Springer-Verlag, 2000."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"FoSSaCS 1998","author":"L. Cardelli","year":"1998","unstructured":"Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Maurice Nivat, editor, FoSSaCS 1998, volume 1378 of Lecture Notes in Computer Science, pages 140\u2013155. Springer-Verlag, 1998."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In POPL\u201999, pages 79\u201392, New York, NY, USA, 1999. ACM Press.","DOI":"10.1145\/292540.292550"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Matthew Hennessy and James Riely. Resource access control in systems of mobile agents (extended abstract). In Proc. of 3rd International Workshop on High-Level Concurrent Languages (HLCL\u201998), 1998. Vol. 16(3) of Electronic Notes in Theoretical Computer Science. Full version to appear in Information and Computation.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/3-540-45022-X_35","volume-title":"ICALP 2000","author":"M. Hennessy","year":"2000","unstructured":"Matthew Hennessy and James Riely. Information flow vs. resource access in the asynchronous \u03c0-calculus. In Ugo Montanari, Jos\u00e9 Rolim, and Emo Welzl, editors, ICALP 2000, volume 1853 of Lecture Notes in Computer Science, pages 415\u2013427. Springer-Verlag, 2000."},{"key":"16_CR8","unstructured":"Francesca Levi and Chiara Bodei. Security analysis for mobile ambients. In Proceedings of the Workshop on Issues in the Theory of Security, (co-located with ICALP 2000), pages 18\u201323, 2000."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In POPL\u201900, pages 352\u2013364, New York, NY, USA, 2000. ACM Press.","DOI":"10.1145\/325694.325741"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, and Betty Venneri. Types for access control. Theoretical Computer Science, 2000. Special issue on Coordination. To appear, available at http:\/\/rap.dsi.unifi.it\/papers.htm .","DOI":"10.1016\/S0304-3975(99)00232-7"},{"issue":"5","key":"16_CR11","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B. Pierce","year":"1996","unstructured":"Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Logic in Computer Science, 1993. Full version in Mathematical Structures in Computer Science, Vol. 6, No. 5, pages 409\u2013454, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/3-540-46432-8_25","volume-title":"FoSSaCS 2000","author":"P. Zimmer","year":"2000","unstructured":"Pascal Zimmer. Subtyping and typing algorithms for mobile ambients. In Jerzy Tiuryn, editor, FoSSaCS 2000, volume 1784 of Lecture Notes in Computer Science, pages 375\u2013390. Springer-Verlag, 2000."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44464-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:11:00Z","timestamp":1737076260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44464-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414285","9783540444640"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44464-5_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"8 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}