Resource access control in systems of mobile agents

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 3, 1998, Pages 174-188

  Hennessy, Matthew ^a   Riely, James ^b  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; DATA ACQUISITION; MOBILE COMPUTING; RESOURCE ALLOCATION; THEOREM PROVING;

MOBILE AGENTS; RESOURCE ACCESS CONTROL; RUNTIME ERRORS; TYPING SYSTEMS;

INTELLIGENT AGENTS;

EID: 0003730974     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00141-0     Document Type: Conference Paper

References (25)

1. R. Amadio and S. Prasad. Modelling IP mobility. Internal Report 244, Laboratoire d'Informatique de Marseille, 1997.
2. 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.
3. 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-155. Springer-Verlag, 1998.
4. L. Cardelli. A language with distributed scope. Computing Systems, 8(1): 27-59, January 1995. A preliminary version appeared in Proceedings of the 22nd ACM Symposium on Priciples of Programming.
5. Carriero N., Gelernter D. Linda in context. Communications of the ACM. 32:(4):1989;444-458
6. Carriero N., Gelernter D., Zuck L. Bauhaus Linda. Object-Based Models and Languages for Concurrent Systems, number 924 in Lecture Notes in Computer Science. 1995;66-76 Springer-Verlag
7. 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.
8. 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.
9. C. Fournet, G. Gonthier, J.J. Levy, L. Marganget, and D. Rémy. 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-421, Pisa, August 1996. Springer-Verlag.
10. C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Implicit typing la ml for the joincalculus. In CONCUR: Proceedings of the International Conference on Concurrency Theory, Lecture Notes in Computer Science, Warsaw, August 1997. Springer-Verlag.
11. General Magic Inc. Agent technology. hhtp://www.genmagic.com/html/agent- overview.html, 1997.
12. Giacalone A., Mishra P., Prasad S. A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming. 18:(2):1989;121-160
13. 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.
14. 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/.
15. IBM Corp. The IBM aglets workbench. http://www.trl.ibm.co.jp/aglets/, 1996.
16. Karjoth G., Lange D.B., Oshima M. A security model for aglets. IEEE Internet Computing. 1:(4):1997
17. 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.
18. R. Milner. The polyadic π-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.
19. Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer-Verlag, 1993.
20. Milner R., Parrow J., Walker D. A calculus of mobile processes, Parts I and II. Information and Computation. 100:September 1992;1-77
21. ObjectSpace Inc. Objectspace voyager. http://www.objectspace.com/voyager, 1997.
22. C. Perkins. IP mobility support. RFC 2002, 1996.
23. Pierce B., Sangiorgi D. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science. 6:(5):1996;409-454. Extended abstract in LICS '93
24. P. Sewell. Global/local subtyping for a distributed π-calculus. Technical Report 435, Computer Laboratory, University of Cambridge, August 1997.
25. Sun Microsystems Inc. Java home page. http://www.javasoft.com/, 1995.