The JavaSeal Mobile Agent Kernel

Autonomous Agents and Multi-Agent Systems

Volumn 4, Issue 4, 2001, Pages 359-384

  Bryce, Ciarán ^a   Vitek, Jan ^b  

^a UNIVERSITY OF GENEVA   (Switzerland)

^b Purdue University   (United States)

Author keywords

Agent platform kernel; Programming model; Security

Indexed keywords

EID: 0035733596     PISSN: 13872532     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1012715226170     Document Type: Article

References (45)

1. M. Abadi, M. Burrows, B. Lampson, and G. Plotkin, "A calculus for access control in distributed systems (invited)," in J. Feigenbaum, (ed.), Proceedings of Advances in Cryptology (CRYPTO '91), vol. 576, Lecture Notes in Computer Science, Springer: Berlin, Germany, 1992, pp. 1-23.
2. A. Acharya, M. Ranganathan, and J. Saltz, "Sumatra: A Language for Resource-Aware Programs," in Mobile Object Systems: Towards the Programmable Internet, vol. 1222, Lecture Notes in Computer Science, Springer-Verlag: Berlin, April 1997.
3. G. Agha, Actors - A Model of Concurrent Computation in Distributed Systems, MIT Press: Cambridge, MA, 1986.
4. G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau, "Java operating systems: Design and implementation," Technical Report UUCS-98-015, University of Utah, Department of Computer Science, 6 August 1998.
5. M. Baldi, S. Gai, and G. P. Picco, "Exploiting code mobility in decentralized and flexible network management," in Proceedings of the First International Workshop on Mobile Agents, April 1997. pp. 13-26, Berlin, Germany.
6. J. Baumann, F. Hohl, K. Rothermel, and M. Strasser, "Mole - Concepts of a mobile agent system," World Wide Web, vol. 1(3), pp. 123-137, 1998.
7. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, D. Becker, S. Eggers, and C. Chambers, "Extensibility, safety and performance in the SPIN operating system," in Proceedings of the 15th Symposium on Operating Systems Principles, Copper Mountan, Colorado, December 1995, pp. 267-284.
8. B. Bokowski and J. Vitek, "Confined types," in Proceedings of the 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '99), Denver, Colorado, USA, November 1999.
9. Q. Bradley, R. Horspool, and J. Vitek, "JAZZ, compression of Java bytecode," in GASCON '98, 1998.
10. L. Cardelli, "Abstractions for mobile computations," in J. Vitek and C. Jensen (eds.), Secure Internet Programming: Security Issues for Distributed and Mobile Objects, Springer-Verlag: Berlin, 1999.
11. L. Cardelli and A. D. Gordon, "Mobile ambients," in M. Nivat (ed.), Foundations of Software Science and Computational Structures, vol. 1378 in LNCE, Springer-Verlag: Berlin, 1998, pp. 140-155.
12. D. Chess, C. G. Harrison, and A. Kershenbaum, "Mobile Agents: Are They a Good Idea?," in J. Vitek and C. Tschudin (eds.), Mobile Object Systems-Towards the Programmable Internet, Lecture Notes in Computer Science, Springer-Verlag: Berlin, Germany, 1997, pp. 25-47.
13. D. M. Chess, "Security issues in mobile code systems," in G. Vigna (ed.), Mobile Agents and Security, vol. 1419, Lecture Notes in Computer Science, Springer-Verlag: New York, 1998.
14. G. Czajkowski and T. von Eicken, "JRes: A resource accounting interface for Java," ACMSIGPLAN Notices, vol. 33(10), pp. 21-35, October 1998.
15. D. Denning, "A lattice model of secure information flow," Communications of the ACM, vol. 19(5), pp. 236-243, 1976.
16. T. Fine and S. E. Minear, "Assuring distributed trusted mach," in IEEE, editor, Proceedings of the 32nd IEEE Conference on Decision and Control, San Antonio, TX, USA, 15-17 December 1993, pages 206-217, 1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA, IEEE Computer Society Press: Silver Spring, MD, 1993, pp. 206-217.
17. D. P. Ghormley, D. Petrou, S. H. Rodrigues, and T. E. Anderson, "SLIC: An extensibility system for commodity operating systems," in Proceedings of the USENIX 1998 Annual Technical Conference, Berkeley, USA, USENIX Association, 15-19 June 1998, pp. 39-52.
18. D. P. Ghormley, S. H. Rodrigues, D. Petrou, and T. E. Anderson, "Interposition as an operating system extension mechanism," Technical Report CSD-96-920, University of California, Berkeley, 9 April 1997.
19. I. Goldberg, D. Wagner, R. Thomas, and E. A. Brewer, "A secure environment for untrusted helper applications," in Proceedings of the 6th Usenix Security Symposium, San Jose, CA, July 1996.
20. D. Gollman, Computer Security, John Wiley & Sons: New York, 1999.
21. L. Gong, "Java security architecture (JDK 1.2)," Technical report, JavaSoft, July 1997. Revision 0.5.
22. R. S. Gray, "Agent Tel: A flexible and secure mobile-agent system," Technical Report PCS-TR98-327, Dartmouth College, Computer Science, Hanover, NH, January 1998.
23. G. Hamilton and G. Kougioris, "The spring nucleus: a micro-kernel for objects," in Proceedings of the Usenix Summer Conference, Ohio, USA, June 1994, pp. 147-159.
24. C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken, "Implementing Multiple Protection Domains in Java," Technical Report 97-1660, Cornell University, Department of Computer Science, 1997.
25. N. Jamali, P. Thati, and G. A. Agha, "An Actor-based architecture for customizing and controlling agent ensembles," IEEE Intelligent Systems, 1998.
26. E. Jul, Object Mobility in a Distributed Object-Oriented System, PhD thesis, University of Washington, Computer Science Department, December 1988.
27. N. Karnik and A. Tripathi, "Agent server architecture for the ajanta mobile-agent system," in 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '98), July 1998.
28. B. W. Lampson, "A note on the confinement problem," Communications of the ACM, vol. 16, 1973.
29. D. B. Lange and M. Oshima, "Mobile agents with Java: The Aglet API," World Wide Web Journal, 1998.
30. D. B. Lange and M. Oshima, Programming and Deploying Mobile Agents with Java Aglets, Addison-Wesley: Reading, MA, USA, September 1998.
31. J. Lepreau, B. Ford, and M. Hibler, "The persistent relevance of the local operating system to global applications," in Proceedings of the 1996 SIGOPS European Workshop, 1996.
32. J. -H. Morin and D. Konstantas, "Commercialization of electronic information," Journal of End User Computing, vol. 12(2), pp. 20-32, April-June 2000.
33. A. C. Myers, "Jflow: Practical static information flow control," in Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL 99), 1999.
34. J. K. Ousterhout, J. Y. Levy, and B. B. Welch, The Safe-Tcl Security Model, vol. 1419, Lecture Notes in Computer Science, 1998, pp. 217-234.
35. T. Sander and C. F. Tschudin, "Protecting mobile agents against malicious hosts," in G. Vigna (ed.), Mobile Agents and Security, vol. 1419, Lecture Notes in Computer Science, Springer-Verlag, New York, 1998.
36. W. Theilmann and K. Rothermel, "Disseminating mobile agents for distributed information filtering," in First International Symposium on Agent Systems and Applications (ASA '99)/Third International Symposium on Mobile Agents (MA '99), Palm Springs, CA, USA, October 1999, pp. 152-161.
37. Tromsø University and Cornell University, TACOMA Project, http://www.cs.uit.no/DOS/Tacoma/.
38. C. Tschudin, "The messenger environment M0 - A condensed description," in Mobile Object Systems: Towards the Programmable Internet, vol. 1222, Lecture Notes in Computer Science, Springer-Verlag: Berlin 1997, pp. 149-156.
39. G. Vigna, Cryptographic Traces for Mobile Agents, vol. 1419, Lecture Notes in Computer Science, Springer-Verlag: New York, 1998, pp. 137-149.
40. G. Vigna, Mobile Agents and Security, vol. 1419, Lecture Notes in Computer Science, Springer-Verlag: New York, USA, 1998.
41. J. Vitek, The Seal Model of Mobile Computations, Ph.D. thesis, University of Geneva, 1999.
42. D. Volpano, C. Irvine, and G. Smith, "A sound type system for secure flow analysis," Journal of Computer Security, vol. 4, pp. 167-187, May 1996.
43. T. Von Eicken, C.-C. Chang, G. Czajkowski, and C. Hawblitzel, J-Kernel: A Capability-Based Operating System for Java, vol. 1603, Lecture Notes in Computer Science, 1999, pp. 369-394.
44. J. E. White, "Telescript technology: The foundation for the electronic marketplace," White paper, General Magic, Inc: Mountain View, CA, 1994.
45. U. G. Wilhelm, L. Buttyàn, and S. Staamann, "On the problem of trust in mobile agent systems," in Symposium on Network and Distributed System Security, Internet Society, March 1998.