{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:23:33Z","timestamp":1778300613307,"version":"3.51.4"},"reference-count":24,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00141-0","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"174-188","source":"Crossref","is-referenced-by-count":40,"title":["Resource Access Control in Systems of Mobile Agents"],"prefix":"10.1016","volume":"16","author":[{"given":"Matthew","family":"Hennessy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB1","unstructured":"R. Amadio and S. Prasad. Modelling IP mobility. Internal Report 244, Laboratoire d'Informatique de Marseille, 1997."},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB2","doi-asserted-by":"crossref","unstructured":"R. Amadio. An asynchronous model of locality, failure, and process mobility. In COORDINATION '97, volume 1282 of Lecture Notes in Computer Science. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63383-9_92"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB3","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Mobile ambients. In Maurice Nivat, editor, Proc. FOSSACS'98, International Conference on Foundations of Software Science and Computation Structures, volume 1378 of Lecutre Notes in Computer Science, pages 140\u2013155. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB4","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A language with distributed scope. Computing Systems, 8(1): 27\u201359, January 1995. A preliminary version appeared in Proceedings of the 22nd ACM Symposium on Principles of Programming.","DOI":"10.1145\/199448.199516"},{"issue":"4","key":"10.1016\/S1571-0661(04)00141-0_NEWBIB5","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","article-title":"Linda in context","volume":"32","author":"Carriero","year":"1989","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB6","series-title":"Object-Based Models and Languages for Concurrent Systems, number 924 in Lecture Notes in Computer Science","first-page":"66","article-title":"Bauhaus Linda","author":"Carriero","year":"1995"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB7","doi-asserted-by":"crossref","unstructured":"R. De Nicola, G. Ferrari, and R. Pugliese. Coordinating mobile agents via blackboards and access rights. In COORDINATION '97, volume 1282 of Lecture Notes in Computer Science. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63383-9_83"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB8","doi-asserted-by":"crossref","unstructured":"K.M. Chandy et al. A world-wide distributed system using java and the internet. In IEEE International Symposium on High Performance Distributed Computing. IEEE, August 1996.","DOI":"10.1109\/HPDC.1996.546168"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB9","doi-asserted-by":"crossref","unstructured":"C. Fournet, G. Gonthier, J.J. Levy, L. Marganget, and D. R\u00e9my. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, CONCUR: Proceedings of the International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, pages 406\u2013421, Pisa, August 1996. Springer-Verlag.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB10","doi-asserted-by":"crossref","unstructured":"C. Fournet, C. Laneve, L. Maranget, and D. R\u00e9my. Implicit typing la ml for the join-calculus. In CONCUR: Proceedings of the International Conference on Concurrency Theory, Lecture Notes in Computer Science, Warsaw, August 1997. Springer-Verlag.","DOI":"10.1007\/3-540-63141-0_14"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB11","unstructured":"General Magic Inc. Agent technology. hhtp:\/\/www.genmagic.com\/html\/agent-overview.html, 1997."},{"issue":"2","key":"10.1016\/S1571-0661(04)00141-0_NEWBIB12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01491213","article-title":"A symmetric integration of concurrent and functional programming","volume":"18","author":"Giacalone","year":"1989","journal-title":"International Journal of Parallel Programming"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB13","doi-asserted-by":"crossref","unstructured":"N. Heintz and J.G. Riecke. The SLam calculus: Programming with secrecy and integrity. In Conference Record of the ACM Symposium on Principles of Programming Languages, San Diego, January 1998. ACM Press.","DOI":"10.1145\/268946.268976"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB14","doi-asserted-by":"crossref","unstructured":"M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Computer Science Technical Report 2\/98, University of Sussex, 1998. Available from http:\/\/www.cogs.susx.ac.uk\/.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB15","unstructured":"IBM Corp. The IBM aglets workbench. http:\/\/www.trl.ibm.co.jp\/aglets\/, 1996."},{"issue":"4","key":"10.1016\/S1571-0661(04)00141-0_NEWBIB16","doi-asserted-by":"crossref","DOI":"10.1109\/4236.612220","article-title":"A security model for aglets","volume":"1","author":"Karjoth","year":"1997","journal-title":"IEEE Internet Computing"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB17","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, B.C. Pierce, and D.N. Turner. Linearity and the pi-calculus. In Conference Record of the ACM Symposium on Principles of Programming Languages, Paris, January 1996. ACM Press.","DOI":"10.1145\/237721.237804"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB18","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, October 1991. Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, Parts I and II","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB20","unstructured":"ObjectSpace Inc. Objectspace voyager. http:\/\/www.objectspace.com\/voyager, 1997."},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB21","doi-asserted-by":"crossref","unstructured":"C. Perkins. IP mobility support. RFC 2002, 1996.","DOI":"10.17487\/rfc3344"},{"issue":"5","key":"10.1016\/S1571-0661(04)00141-0_NEWBIB22","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","article-title":"Typing and subtyping for mobile processes","volume":"6","author":"Pierce","year":"1996","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB23","unstructured":"P. Sewell. Global\/local subtyping for a distributed \u03c0-calculus. Technical Report 435, Computer Laboratory, University of Cambridge, August 1997."},{"key":"10.1016\/S1571-0661(04)00141-0_NEWBIB24","unstructured":"Sun Microsystems Inc. Java home page. http:\/\/www.javasoft.com\/, 1995."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001410?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001410?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:30:18Z","timestamp":1585485018000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998]]}},"alternative-id":["S1571066104001410"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00141-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}