{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172369},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"6-7","license":[{"start":{"date-parts":[[2006,1,4]],"date-time":"2006-01-04T00:00:00Z","timestamp":1136332800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2006,3,2]]},"DOI":"10.1007\/s00236-005-0002-8","type":"journal-article","created":{"date-parts":[[2006,1,4]],"date-time":"2006-01-04T13:35:19Z","timestamp":1136381719000},"page":"429-500","source":"Crossref","is-referenced-by-count":5,"title":["A typed encoding of boxed into safe ambients"],"prefix":"10.1007","volume":"42","author":[{"given":"Francesca","family":"Levi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,1,4]]},"reference":[{"key":"2_CR1","unstructured":"Amtoft, T.: Causal type system for ambient movements. Submitted for publication (2003)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Amtoft, T., Kfoury, A.J., Geertsen-Peric\u00e1s, S.M.: What are polymorphically-typed ambients? In: Proceedings of ESOP'01. LNCS 2028, pp. 206\u2013220. Springer Verlag (2001)","DOI":"10.1007\/3-540-45309-1_14"},{"key":"2_CR3","first-page":"29","volume":"28","author":"T. Amtoft","year":"2002","unstructured":"Amtoft, T., Kfoury, A.J., Peric\u00e1s-Geertsen, S.M., Orderly communication in the ambient calculus. Comput. Lang. Syst. Struct. 28, 29\u201360 (2002)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Amtoft, T., Makholm, H., Wells, J.B.: PolyA: true type polymorphism for mobile ambients. In: Proceedings of TCS'04, pp. 591\u2013604. Kluwer Academic Publisher, Drodrecht (2004)","DOI":"10.1007\/1-4020-8141-3_45"},{"key":"2_CR5","unstructured":"Barbanera, F., Dezani-Ciancaglini, M., Salvo, I., Sassone, V.: A type inference algorithm for secure ambients. In: Proceedings of TOSCA'01. ENTCS, 50(2), (2001)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bonelli, E., Compagnoni, A., Dezani-Ciancaglini, M., Garralda, P.: Boxed ambients with communication interfaces. In: Proceedings of MFCS'04. LNCS 3153, pp. 119\u2013148. Springer-Verlag, Berlin, Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-28629-5_7"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Braghin, C., Cortesi, A., Focardi, R.: Control flow analysis for information flow security in mobile ambients. In: Proceedings of FMOODS'02, pp. 197\u2013212. Kluwer Academic Publisher, Drodrecht (2002)","DOI":"10.1007\/978-0-387-35496-5_14"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G.: Secure safe ambients. In: Proceedings of POPL '01, pp. 222\u2013235. ACM, New York (2001)","DOI":"10.1145\/360204.360223"},{"issue":"1","key":"2_CR9","first-page":"61","volume":"28","author":"M. Bugliesi","year":"2002","unstructured":"Bugliesi, M., Castagna, G.: Behavioural typing for safe ambients. Comput. Lang. 28(1), 61\u201399 (2002)","journal-title":"Comput. Lang."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Boxed ambients. In: Proceedings of TACS'01. LNCS 2225, pp. 36\u201361. Springer-Verlag, Berlin Heildelberg New York (2001)","DOI":"10.1007\/3-540-45500-0_2"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Proceedings of CONCUR'01. LNCS 2154, pp. 102\u2013120. Springer-Verlag, Berlin Heildelberg New York (2001)","DOI":"10.1007\/3-540-44685-0_8"},{"issue":"1","key":"2_CR12","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: the calculus of boxed ambients. TOPLAS 26(1), 57\u2013124 (2004)","journal-title":"TOPLAS"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication interference in boxed ambients. In: Proceedings of FSTTCS'02. LNCS 2556, pp. 71\u201384. Springer-Verlag, Berlin Heildelberg New York (2002)","DOI":"10.1007\/3-540-36206-1_8"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and mobility control in boxed ambients. Inform. Comput. (2004), submitted for publication","DOI":"10.1016\/j.ic.2005.06.002"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility types for mobile ambients. In: Proceedings of ICALP'99. LNCS 1644, pp. 230\u2013239. Springer-Verlag, Berlin Heildelberg New York (1999)","DOI":"10.1007\/3-540-48523-6_20"},{"issue":"2","key":"2_CR16","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/S0890-5401(01)93121-9","volume":"177","author":"L. Cardelli","year":"2002","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the ambient calculus. Inform. Comput. 177(2), 160\u2013194 (2002)","journal-title":"Inform. Comput."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Proceedings of FoSSaCS '98. LNCS 1378, pp. 140\u2013155. Springer-Verlag, Berlin Heildelberg New York (1998)","DOI":"10.1007\/BFb0053547"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Equational properties of mobile ambients. In: Proceedings of FoSSaCS '99. LNCS 1578, pp. 212\u2013226. Springer-Verlag, Berlin Heildelberg New York (1999)","DOI":"10.1007\/3-540-49019-1_15"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Types for Mobile ambients. In: Proceedings of POPL '99, pp. 79\u201392. ACM, New York (1999)","DOI":"10.1145\/292540.292550"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Pugliese, R.: Dynamic and local typing for mobile ambients. In: Proceedings of TCS'04, pp. 583\u2013596. Kluwer Academic Publisher, Drodrecht (2004)","DOI":"10.1007\/1-4020-8141-3_44"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Crafa, S., Bugliesi, M., Castagna, G.: Information flow security in boxed ambients. In: Proceedings of FWAN '02. ENTCS, Vol. 66, No. 3, Elsevier, Amsterdam (2002)","DOI":"10.1016\/S1571-0661(04)80417-1"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Degano, P., Levi, F., Bodei, C.: Safe ambients: Control flow analysis and security. In: Proceedings of ASIAN '00. LNCS 1961, pp. 199\u2013214. Springer-Verlag, Berlin Heildelberg New York (2000)","DOI":"10.1007\/3-540-44464-5_15"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Salvo, I.: Security types for mobile safe ambients. In: Proceedings of ASIAN '00. LNCS 1961, pp. 215\u2013236. Springer-Verlag, Berlin Heildelberg New York (2000)","DOI":"10.1007\/3-540-44464-5_16"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Feret, J.: Abstract interpretation-based static analysis of mobile ambients. In: Proceedings of SAS'01. LNCS 2126, pp. 412\u2013430. Springer-Verlag, Berlin Heildelberg New York (2001)","DOI":"10.1007\/3-540-47764-0_24"},{"key":"2_CR25","unstructured":"Guan, X., Yang, Y., You, J.: Making ambients more robust. In: Proceedings of the International Conference on Software: Theory and Practise, pp. 377\u2013384 (2000)"},{"issue":"5","key":"2_CR26","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/S0020-0190(01)00172-7","volume":"80","author":"X. Guan","year":"2001","unstructured":"Guan, X., Yang, Y., You, J.: Typing evolving ambients. Inform. Process. Lett. 80(5), 265\u2013270 (2001)","journal-title":"Process. Lett."},{"key":"2_CR27","unstructured":"Hansen, R.R., Jensen, J.G., Nielson, F., Nielson, H.R.: Abstract interpretation of mobile ambients. In: Proceedings of SAS'99. LNCS 1694, pp. 135\u2013148. Springer-Verlag, Berlin Heildelberg New York (1999)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Levi, F.: Types for evolving communication in safe ambients. In: Proceedings of VMCAI '03. LNCS 2575, pp. 102\u2013115. Springer-Verlag, Berlin Heildelberg New York (2003)","DOI":"10.1007\/3-540-36384-X_11"},{"key":"2_CR29","unstructured":"Levi, F., Bodei, C.: A control flow analysis for safe and boxed ambients (extended version). Available at http:\/\/www.di.unipi.it\/~levifran\/papers.html"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Levi, F., Bodei, C.: A control flow analysis for safe and boxed ambients. In: Proceedings of ESOP '04. LNCS 2986, pp. 188\u2013203. Springer-Verlag, Berlin Heildelberg New York (2004)","DOI":"10.1007\/978-3-540-24725-8_14"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Levi, F., Maffeis, S.: An abstract interpretation framework for analysing mobile ambients. In: Proceedings of SAS '01. LNCS 2126, pp. 395\u2013411. Springer-Verlag, Berlin Heildelberg New York (2001)","DOI":"10.1007\/3-540-47764-0_23"},{"key":"2_CR32","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.ic.2003.06.001","volume":"188","author":"F. Levi","year":"2004","unstructured":"Levi, F., Maffeis, S.: On abstract interpretation of mobile ambients. Inform. Comput. 188, 179\u2013240 (2004)","journal-title":"Inform. Comput."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proceedings of POPL '00, pp. 352\u2013364. ACM, New York (2000)","DOI":"10.1145\/325694.325741"},{"issue":"1","key":"2_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F. Levi","year":"2003","unstructured":"Levi, F., Sangiorgi, D.: Mobile safe ambients. TOPLAS 25(1), 1\u201369 (2003)","journal-title":"TOPLAS"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Merro, M., Hennessy, M.: Bisimulation congruences in safe ambients. In: Proceedings of POPL '02. ACM, New York (2002)","DOI":"10.1145\/503272.503280"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Merro, M., Sassone, V.: Typing and subtyping mobility in boxed ambients. In: Proceedings of CONCUR'02. LNCS 2421, pp. 304\u2013320. Springer-Verlag, Berlin Heildelberg New York (2002)","DOI":"10.1007\/3-540-45694-5_21"},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inform. Comput. 100, 1\u201377 (1992)","journal-title":"Inform. Comput."},{"key":"2_CR38","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1006\/inco.1999.2822","volume":"156","author":"U. Nestmann","year":"2000","unstructured":"Nestmann, U.: What is a \u201cGood Encoding of Guarded Choice\u201d? Inform. Comput. 156, 287\u2013319 (2000)","journal-title":"Inform. Comput."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Proceedings of ICALP'92. LNCS 623, pp. 685\u2013695. Springer-Verlag, Berlin Heildelberg New York (1992)","DOI":"10.1007\/3-540-55719-9_114"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., Nielson, F.: Shape analysis for mobile ambients. In: Proceedings of POPL'00, pp. 135\u2013148. ACM, New York (2000)","DOI":"10.1145\/325694.325711"},{"issue":"2","key":"2_CR41","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/S0304-3975(01)00140-2","volume":"283","author":"F. Nielson","year":"2002","unstructured":"Nielson, F., Nielson, H.R., Hansen, R.R.: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2), 381\u2013418 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hansen, R.R., Jensen, J.G.: Validating firewalls using flow logics. In: Proceedings of CONCUR'99. LNCS 1664, pp. 463\u2013477. Springer-Verlag, Berlin Heidelberg New York (1999)","DOI":"10.1007\/3-540-48320-9_32"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous calculi. In: Proceedings of POPL '97, pp. 256\u2013265. ACM, New York (1997)","DOI":"10.1145\/263699.263731"},{"key":"2_CR44","volume-title":"The pi-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D., Valente, A.: A distributed abstract machine for Safe Ambients. In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming, July 8\u201312, pp. 408\u2013420 (2001)","DOI":"10.1007\/3-540-48224-5_34"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Teller, D., Zimmer, P., Hirschkoff, D.: Using ambients to control resources. In: Proceedings of CONCUR'02. LNCS 2421, pp. 288\u2013303. Springer-Verlag, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-45694-5_20"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Zimmer, P.: SubTyping and typing algorithms for mobile ambients. In: Proceedings of FoSSaCS'00. LNCS 1784, pp. 375\u2013390. Springer-Verlag, Berlin Heidelberg New York (2000)","DOI":"10.1007\/3-540-46432-8_25"},{"key":"2_CR48","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1017\/S0960129503004079","volume":"13","author":"P. Zimmer","year":"2003","unstructured":"Zimmer, P.: On the expressiveness of pure ambients. Math. Struct. Comp. Sci. 13, 721\u2013770 (2003)","journal-title":"Math. Struct. Comp. Sci."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0002-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-005-0002-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0002-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T22:52:48Z","timestamp":1586645568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-005-0002-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,4]]},"references-count":48,"journal-issue":{"issue":"6-7","published-print":{"date-parts":[[2006,3,2]]}},"alternative-id":["2"],"URL":"https:\/\/doi.org\/10.1007\/s00236-005-0002-8","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,4]]}}}