{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:49Z","timestamp":1749124069943,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_11","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:54:04Z","timestamp":1184601244000},"page":"119-132","source":"Crossref","is-referenced-by-count":22,"title":["Resource Access and Mobility Control with Dynamic Privileges Acquisition"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Gorla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"11_CR1","unstructured":"K. Arnold, E. Freeman, and S. Hupfer. JavaSpaces Principles, Patterns and Practice. Addison-Wesley, 1999."},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L. Bettini","year":"2002","unstructured":"L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software \u2014 Practice and Experience, 32:1365\u20131394, 2002.","journal-title":"Software \u2014 Practice and Experience"},{"key":"11_CR3","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, 2001."},{"key":"11_CR4","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 2001","author":"M. Bugliesi","year":"2001","unstructured":"M. Bugliesi, G. Castagna, and S. Crafa. Boxed ambients. In Proceedings of TACS 2001, number 2215 in LNCS, pages 38\u201363. Springer, 2001."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proceedings of POPL\u2019 99, pages 79\u201392. ACM, 1999.","DOI":"10.1145\/292540.292550"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/S0890-5401(01)93121-9","volume":"177","author":"L. Cardelli","year":"2002","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Information and Computation, 177:160\u2013194, 2002.","journal-title":"Information and Computation"},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44685-0_7","volume-title":"Proceedings of CONCUR 2001","author":"G. Castagna","year":"2001","unstructured":"G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Proceedings of CONCUR 2001, number 2154 in LNCS, pages 82\u2013101. Springer, 2001."},{"issue":"5","key":"11_CR8","first-page":"362","volume":"24","author":"P. Ciancarini","year":"1998","unstructured":"P. Ciancarini, R. Tolksdorf, F. Vitali, D. Rossi, and A. Knoche. Coordinating multiagent applications on the WWW: A reference architecture. IEEE TSE, 24(5):362\u2013366, 1998.","journal-title":"IEEE TSE"},{"issue":"5","key":"11_CR9","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 Engineering, 24(5):315\u2013330, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R. Nicola De","year":"2000","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215\u2013254, 2000.","journal-title":"Theoretical Computer Science"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"D. Deugo. Choosing a Mobile Agent Messaging Model. In Proceedings of ISADS 2001, pages 278\u2013286. IEEE, 2001.","DOI":"10.1109\/ISADS.2001.917429"},{"key":"11_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-44464-5_16","volume-title":"Proceedings of ASIAN\u201900","author":"M. Dezani-Ciancaglini","year":"2000","unstructured":"M. Dezani-Ciancaglini and I. Salvo. Security types for mobile safe ambients. In Proceedings of ASIAN\u201900, volume 1961 of LNCS, pages 215\u2013236, Springer, 2000."},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. Transactions on Programming Languages and Systems, 7(1):80\u2013112. ACM, 1985.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze, 2003. Available at http:\/\/rap.dsi.unifi.it\/~pugliese\/DOWNLOAD\/muklaim-full.pdf.","DOI":"10.1007\/3-540-45061-0_11"},{"key":"11_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-48749-2_5","volume-title":"Secure Internet Programming","author":"M. Hennessy","year":"1999","unstructured":"M. Hennessy and J. Riely. Type-Safe Execution of Mobile Agents in Anonymous Networks. In Secure Internet Programming, volume 1603 of LNCS, pages 95\u2013115. Springer, 1999."},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. Information and Computation, 173:82\u2013120, 2002.","journal-title":"Information and Computation"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings of POPL\u201900, pages 352\u2013364. ACM, 2000.","DOI":"10.1145\/325694.325741"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"A. Omicini and F. Zambonelli. Coordination for internet application development. Autonomous Agents and Multi-agent Systems, 2(3):251\u2013269, 1999.","journal-title":"Autonomous Agents and Multi-agent Systems"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"G. Picco, A. Murphy, and G.-C. Roman. Lime: Linda Meets Mobility. In D. Garlan, editor, Proc. of the 21st Int. Conference on Software Engineering (ICSE\u201999), pages 368\u2013377. ACM Press, 1999.","DOI":"10.1145\/302405.302659"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proc. of POPL\u201999, pages 93\u2013104. Full version to appear in Journal of Automated Reasoning, 2003.","DOI":"10.1023\/B:JARS.0000021016.61054.3b"},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1019263731139","volume":"1","author":"A. Rowstron","year":"1998","unstructured":"A. Rowstron. WCL: A web co-ordination language. World Wide Web Journal, 1(3):167\u2013179, 1998.","journal-title":"World Wide Web Journal"},{"issue":"3","key":"11_CR22","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1147\/sj.373.0454","volume":"37","author":"P. Wyckoff","year":"1998","unstructured":"P. Wyckoff, S. McLaughry, T. Lehman, and D. Ford. TSpaces. IBM Systems Journal, 37(3):454\u2013474, 1998.","journal-title":"IBM Systems Journal"},{"key":"11_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/3-540-48320-9_38","volume-title":"Proceedings of CONCUR\u201999","author":"N. Yoshida","year":"1999","unstructured":"N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proceedings of CONCUR\u201999, volume 1664 of LNCS, pages 557\u2013572. Springer, 1999."},{"key":"11_CR24","first-page":"334","volume":"173","author":"N. Yoshida","year":"2002","unstructured":"N. Yoshida and M. Hennessy. Assigning types to processes. In Proceedings of LICS\u201900, pages 334\u2013348. Full version appear in Information and Computation, 173:82\u2013120, 2002.","journal-title":"Proceedings of LICS\u201900"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:43:11Z","timestamp":1737286991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45061-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404934","9783540450610"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45061-0_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}