{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:28:37Z","timestamp":1778297317116,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540440437","type":"print"},{"value":"9783540456940","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45694-5_20","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T03:44:18Z","timestamp":1191555858000},"page":"288-303","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Using Ambients to Control Resources*"],"prefix":"10.1007","author":[{"given":"David","family":"Teller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Zimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Hirschkoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-45500-0_2","volume-title":"Boxed ambients","author":"M. Bugliesi","year":"2001","unstructured":"Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Boxed ambients. In Proc. TACS 2001, LNCS 2215, pages 38\u201363. Springer Verlag, 2001."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Proc. of FOSSACS\u201998, volume 1378, pages 140\u2013155. Springer Verlag, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In Symposium on Principles of Programming Languages (POPL\u201999), pages 79\u201392. ACM Press, 1999.","DOI":"10.1145\/292540.292550"},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-45927-8_21","volume-title":"Finite-control mobile ambients","author":"W. Charatonik","year":"2002","unstructured":"Witold Charatonik, Andrew D. Gordon, and Jean-Marc Talbot. Finite-control mobile ambients. In Proc. of ESOP\u201902, volume 2305 of LNCS, pages 295\u2013313, 2002."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Karl Crary and Stephanie Weirich. Resource bound certification. In Symposium on Principles of Programming Languages (POPL\u201900), pages 184\u2013198. ACM Press, 2000.","DOI":"10.1145\/325694.325716"},{"key":"20_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-44464-5_16","volume-title":"Security types for mobile safe ambients","author":"M. Dezani-Ciancaglini","year":"2000","unstructured":"Mariangiola Dezani-Ciancaglini and Ivano Salvo. Security types for mobile safe ambients. In Proc. of ASIAN\u201900, LNCS 1961, pages 215\u2013236. Springer Verlag, 2000."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"C\u00e9dric Fournet, Georges Gonthier, Jean-Jacques L\u00e9vy, Luc Maranget, and Didier R\u00e9my. A calculus of mobile agents. In Proc. of CONCUR\u201996, pages 406\u2013421. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"C\u00e9dric Fournet, Jean-Jacques L\u00e9vy, and Alan Schmitt. A distributed implementation of mobile ambients. In Proc. of IFIP TCS\u201900, pages 348\u2013364. Springer Verlag, 1872.","DOI":"10.1007\/3-540-44929-9_26"},{"key":"20_CR9","unstructured":"T. Gazagnaire and D. Pous. Impl\u00e9mentation des Controlled Ambients en JoCaml. Students project\u2014 Magist\u00e9re d\u2019Informatique ENS Lyon, 2002."},{"key":"20_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-49019-1_15","volume-title":"Equational properties of mobile ambients","author":"A. D. Gordon","year":"1999","unstructured":"Andrew D. Gordon and Luca Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS\u201999, volume 1578 of LNCS, pages 212\u2013226. Springer Verlag, 1999."},{"key":"20_CR11","unstructured":"Xudong Guan, Yiling Yang, and Jinyuan You. Making ambients more robust. In Proc. of the International Conference on Software: Theory and Practice, pages 377\u2013384, 2000."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. In Proceedings of HLCL\u201998, number 16.3 in ENTCS, pages 3\u201317. Elsevier, 1998.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles. PLAN: A Packet Language for Active Networks. In Proc. ICFP\u201999, pages 86\u201393. ACM Press, 1999.","DOI":"10.1145\/289423.289431"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"John Hughes and Lars Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proc. of ICFP\u201999, pages 70\u201381. ACM Press, 1999.","DOI":"10.1145\/317636.317785"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Symposium on Principles of Programming Languages, pages 352\u2013364. ACM Press, 2000.","DOI":"10.1145\/325694.325741"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"M. Merro and M. Hennessy. Bisimulation congruences in safe ambients. In Proc. of POPL\u201902, pages 71\u201380. ACM Press, 2002.","DOI":"10.1145\/503272.503280"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Luc Moreau. A distributed garbage collector with diffusion tree reorganisation and mobile objects. In Proc. of ICFP\u201998, pages 204\u2013215. ACM Press, 1998.","DOI":"10.1145\/289423.289443"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"James Riely and Matthew Hennessy. A typed language for distributed mobile processes. In Proc. of POPL\u201998, pages 378\u2013390. ACM Press, 1998.","DOI":"10.1145\/268946.268978"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi and A. Valente. A distributed abstract machine for Safe Ambients. In Proc. of ICALP\u201901, 2001.","DOI":"10.1007\/3-540-48224-5_34"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"D. Teller, P. Zimmer, and D. Hirschkoff. UsingA mbients to Control Resources. Technical Report 2002-16, LIP-ENS Lyon, 2002.","DOI":"10.1007\/3-540-45694-5_20"},{"key":"20_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"Jan Vitek and Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2002 \u2014 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45694-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:49:12Z","timestamp":1778248152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45694-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440437","9783540456940"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45694-5_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}