Safe and secure execution mechanisms for mobile objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1222, Issue , 1997, Pages 201-211

  Kato, Kazuhiko ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84955599962     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62852-5_15     Document Type: Conference Paper

References (22)

1. A. Adl-Tabatabai, G. Langdale, S. Lucco, and R. Wahbe. Efficient and languageindependent mobile programs. In Proc. of.4CM Conf. on Programming Language Design andlmplementation, pages 127-136, May 1996.
2. B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In Proc. of Symposium on Operating System Principles, pages 267-284, Dec. 1995.
3. A. D. B irrell and B. J. Nelson. Implementing remote procedure calls..4CM Trans. Computer Systems, 2(1):39-59, Feb. 1984.
4. M. Campione and K. Walrath. The Java Tutorial-- Object-Oriented Programming for the lnternet. Addison-Wesley, 1996.
5. P. Chan and R. Lee. The Java Class Libraries--An.4nnotatedReference. Addison-Wesley, 1996.
6. General Magic Inc. An introduction to safety and security in Telescript, 1996.
7. E. Jul, H. Levy, N. Hutchinson, and A. Black. Fine-grained mobility in the Emerald system. A CM Trans. Computer Systems, 6(1):109--133, Feb. 1988.
8. K. Kato, K. Toumura, K. Matsubara, S. Aikawa, J. Yoshida, K. Kono, K. Taura, and T. Sekiguchi. Protected and secure mobile object computing in PLANET. In Proc. of ECOOP Workshop on Mobile Object Systems, 1996.
9. K. Kono, K. Kato, and T. Masuda. Smart remote procedure calls: Transparent treatanent of remote pointers. In Proc. 14th IEEE Int. Conf. on Distributed Computing Systems, pages 142-151, Jun. 1994.
10. K. Kono, K. Kato, and T. Masuda. An implementation method of migratable distributed objects using an RPC technique integrated with virtual memory. In Proc. lOth European Conference of Object-Oriented Programming, pages 295-315, Jul. 1996.
11. T. Lindholm and F. Yellin. The Java tqrtualMachine Specification. Addison-Wesley, 1997.
12. S. Lucco, O. Sharp, and R. Wahbe. Omniware: A universal substrate fro web programming. In Proc. 4th Int. World Wide Web Conference, Dec. 1995.
13. G. C. Necula. Proof-carrying code. In Proc. ACM Symp. on Principles of Programming Languages, Jan. 1997.
14. G. C. Necula and P. Lee. Safe kernel extensions without run-time checking. In Proc. USENIX Association 2nd Syrup. on Operating Systems Design and Implementation, pages 229-243, Oct. 1996.
15. Object Management Group, Inc. CORBA security. Technical report, Object Management Group, Inc., 1995.
16. A. Ohori and K. Kato. Semantics for communication primitives in a polymorphic language. In Proc. 20th ACM Symp. on Principles of Programming Languages, pages 99-112, Jan. 1993.
17. J. K. Ousterhout. Tclandthe Tk Toolkit. Addison-Wesley, 1994. ISBN 0-201-63337-X.
18. J. K. Ousterhout, J. Y. Levy, and B. B. Welch. The safe-tel security model. Technical report, Sun Microsystems Laboratories, Nov. 1996.
19. A. Silberschatz and P. B. Galvin. Operating System Concepts. Addison-Wesley, 1994.
20. J. Vitek. Secure object spaces. In Proc. of 2nd Int. Workshop on Mobile Object Systems, Linz, July 1996.
21. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient software-based fault isolation. In Proc. 14th A CM Symp. on Operating System Principles, pages 203-216, 1993.
22. P. Wilson. Pointer swizzling at page fault time: efficiently supporting huge address spaces on standard hardware. ACM Computer Architecture News, pages 6-13, Jun. 1991.