Design and implementation of a distributed virtual machine for networked computers

Operating Systems Review (ACM)

Volumn 33, Issue 5, 1999, Pages 202-216

  Sirer, Emin Gün ^a   Grimm, Robert ^a   Gregory, Arthur J ^a   Bershad, Brian N ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0041350423     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319344.319165     Document Type: Article

References (64)

1. M. J. Accetta, R. V. Baron, W. Bolosky, D. B. Golub, R. F. Rashid, A. Tevanian, and M. W. Young. Mach: A New Kernel Foundation for Unix Development. In Proceedings of the USENIX Summer Conference, pages 93-112, Atlanta, Georgia, June 1986.
2. J. Aldrich, C. Chambers, E. G. Sirer and S. Eggers. Optimizing Unnecessary Synchronization Operations from Java Programs. In Static Analyses Symposium, pages 19-38, Venice, Italy, September 1999.
3. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety and Performance in the SPIN Operating System. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 267-284, Copper Mountain Resort, Colorado, December 1995.
4. T. Bray, J. Paoli, and C. M. Sperberg-McQueen, editors. Extensible Markup Language (XML) 1.0. W3C Recommendation, World Wide Web Consortium, February 1998.
5. CERT Coordination Center. Weaknesses in Java Bytecode Verifier. September 1999. http://www.cert.org/advisories/ CA-96.07.java_bytecode_verifier.html.
6. W. R. Cheswick and S. Bellovin. Firewalls and Internet Security: Repelling the Wily Hacker. Addison-Wesley, June 1994.
7. R. M. Cohen. The Defensive Java Virtual Machine Specification. Computational Logic Inc., May 1997. http://www.cli.com/software/djvm/.
8. G. A. Cohen, J. S. Chase, and D. L. Kaminsky. Automatic Program Transformation with JOIE. In Proceedings of the USENIX 1998 Annual Technical Conference, pages 167-178, New Orleans, Louisiana, 1998.
9. G. Czajkowski and T. von Eicken. JRes: A Resource Accounting Interface for Java. In Proceedings of the OOPSLA'98 Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 21-35, Vancouver, Canada, October 1998.
10. D. Dean, E. W. Felten, D. S. Wallach, and D. Belfanz. Java Security: Web Browers and Beyond. In D. E. Denning and P. J. Denning, editors, Internet Beseiged: Countering Cyberspace Scofflaws, pages 241-269. ACM Press, October 1997.
11. H. M. Deitel. An Introduction to Operating Systems. Addison-Wesley, August 1989.
12. S. Dorward, R. Pike, D. L. Presotto, D. Ritchie, H. Trickey, and P. Winterbottom. The Inferno Operating System. Bell Labs Technical Journal, 2(1):5-18, Winter 1997.
13. D. R. Engler, M. F. Kaashoek, and J. O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. In Proceedings of the Fifteenth ACM Symposium on Operating System Principles, pages 251-266, Copper Mountain Resort, Colorado, December 1995.
14. U. Erlingsson and F. B. Schneider. SASI Enforcement of Security Policies: A Retrospective. Cornell Technical Report TR99-1758. Ithaca, New York, 1999.
15. D. Evans and A. Twyman. Flexible Policy-Directed Code Safety. In Proceedings of the 1999 IEEE Symposium on Security and Privacy, pages 32-45, Oakland, California, May 1999.
16. A. Fox, S. D. Gribble, Y. Chawathe, E. A. Brewer, and P. Gauthier. Cluster-Based Scalable Network Services. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, pages 78-91, Saint-Malo, France, October 1997.
17. S. N. Freund and J. C. Mitchell. A Type System for Object Initialization in the Java Bytecode Language. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 310-327, Vancouver, Canada, October 1998.
18. R. P. Goldberg. Architectural Principles for Virtual Computer Systems. Ph.D. thesis, Harvard University, 1973.
19. L. Gong. Java Security: Present and Near Future. IEEE Micro, 17(3):14-19,May/June 1997.
20. L. Gong. Inside Java 2 Platform Security -Architecture, API Design, and Implementation. Addison-Wesley, 1999.
21. L. Gong, M. Mueller, L. Prafullchandra, and R. Schemers. Going Beyond the Sandbox: An Overview of the New Security Architecture in the Java Development Kit 1.2. In Proceedings of the USENIX Symposium on Internet Technologies and Systems, pages 103-112, Monterey, California, December 1997.
22. L. Gong and R. Schemers. Implementing Protection Domains in the Java Development Kit 1.2. In Proceedings of the Internet Society Symposium on Network and Distributed System Security, pages 125-134, San Diego, California, March 1998.
23. J. Gosling and F. Yellin. The Java Application Programming Interface, Volumes 1 & 2. Addison-Wesley, 1996.
24. S. L. Graham, P. B. Kessler, and M. K. McKusick. gprof: A Call Graph Execution Profiler. In Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, SIGPLAN Notices, 17(6):120-126, June 1982.
25. R. Grimm and B. N. Bershad. Providing Policy-Neutral and Transparent Access Control in Extensible Systems. In J. Vitek and C. D. Jensen, editors, Secure Internet Programming -Security Issues for Mobile and Distributed Objects, volume 1603 of Lecture Notes in Computer Science, pages 317-338, Springer, 1999.
26. J. S. Heidemann and G. J. Popek. File-System Development with Stackable Layers. ACM Transactions on Computer Systems, 12(1):58-89, February 1994.
27. J. Hennessy. The Future of Systems Research. In IEEE Computer, pages 27-33, August 1999.
28. Hewlett-Packard Company. Chai Products. http://www.hp.com/emso/products/.
29. D. Hitz, B. Allison, A. Borr, R. Hawley, and M. Muhlestein. Merging NT and Unix Filesystem Permissions. In Proceedings of the Second Usenix Windows NT Symposium, pages 87-95, Seattle, Washington, August 1998.
30. IBM Corporation. Virtual Machine/System Product Application Development Guide, Release 5. Endicott, New York, 1986.
31. Internet Software Consortium. Internet Host Domain Survey. July 1999, http://www.isc.org/.
32. C. Krintz, B. Calder, H. P. Lee and B. G. Zorn. Overlapping Execution with Transfer Using Non-Strict Execution' for Mobile Programs. In the Eighth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 159-169, San Jose, California, October 1998.
33. B. Lampson. Protection. In Proceedings of the Fifth Princeton Symposium on Information Sciences and Systems, pages 437-443, Princeton, Ney Jersey, March 1971. Reprinted in Operating Systems Review, 8(1):18-24, January 1974.
34. B. Lampson. Protection. In Proceedings of the Fifth Princeton Symposium on Information Sciences and Systems, pages 437-443, Princeton, Ney Jersey, March 1971. Reprinted in Operating Systems Review, 8(1):18-24, January 1974.
35. H. Lee and B. Zorn. BIT: A Tool for Instrumenting Java Bytecodes. In Proceedings of the USENIX Symposium on Internet Technologies and Systems, pages 73-82, Monterey, California, December 1997.
36. R. Levin, E. Cohen, W. Corwin, F. Pollack, and W. Wulf. Policy/Mechanism Separation in Hydra. In Proceedings of the Fifth ACM Symposium on Operating Systems Principles, pages 132-140, Austin, Texas, October 1975.
37. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, September 1996.
38. D. Malkhi, M. K. Reiter, and A. D. Rubin. Secure Execution of Java Applets using a Remote Playground. In Proceedings of the IEEE Symposium on Security and Privacy, pages 40-51, Oakland, California, May 1998.
39. G. McGraw and E. W. Felten. Java Security: Hostile Applets, Holes and Antidotes. Wiley Computer Publishing, John Wiley & Sons, December 1996.
40. G. McGraw and E. W. Felten. Securing Java: Getting Down to Business With Mobile Code. Wiley Computer Publishing, John Wiley & Sons, February 1999.
41. S. E. Minear. Providing Policy Control Over Object Operations in a Mach Based System. In Proceedings of the Fifth USENIX UNIX Security Symposium. pages 141-156, Salt Lake City, Utah, June 1995.
42. J. C. Mogul. Simple and Flexible Datagram Access Controls for Unix-based Gateways. In Proceedings of the Summer 1989 USENIX Conference, pages 203-221, Baltimore, Maryland, June 1989.
43. A. C. Myers and B. Liskov. A Decentralized Model for Information Flow Control. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles, pages 129-142, Saint-Malo, France, October 1997.
44. D. Olawsky, T. Fine, E. Schneider, and R. Spencer. Developing and Using a "Policy Neutral" Access Control Policy. In Proceedings of the New Security Paradigms Workshop, September 1996.
45. S. W. O'Malley and L. L. Peterson. A Dynamic Network Architecture. ACM Transactions on Computer Systems, 10(2):110-143, May 1992.
46. G. J. Popek and R. P. Goldberg. Formal Requirements for Virtualizable Third Generation Architectures. In Communications of the ACM, 17(7):412-421, July 1974.
47. T. A. Proebsting, G. Townsend, P. Bridges, J. H. Hartman, T. Newsham, and S. A. Watterson. Toba: Java for Applications, A Way Ahead of Time (WAT) Compiler. In Proceedings of the Third Conference on Object-Oriented Technologies and Systems, pages 41-53, Berkeley, California, June 1997.
48. D. Rayside, S. Kerr and K. Kontogiannis. Change And Adaptive Maintenance in Java Software Systems. In Fifth Working Conference on Reverse Engineering, pages 10-19, Honolulu, Hawaii, October 1998.
49. R. L. Rivest, A. Shamir, and L. Adleman. A Method for Obtaining Digital Signatures and PublicKey Cryptosystems. Communications of the ACM, 21(2):120-126, February 1978.
50. R. Rivest. The MD5 Message-Digest Algorithm. RFC 1321, Internet Engineering Task Force, April 1992.
51. J. H. Saltzer and M. D. Schroeder. The Protection of Information in Computer Systems. Proceedings of the IEEE, 63(9):1278-1308, September 1975.
52. Secure Computing Corporation. DTOS Lessons Learned Report. Technical Report DTOS CDRL A008, Secure Computing Corporation, Roseville, Minnesota, June 1997.
53. C. Scott, P. Wolfe and M. Erwin. Virtual Private Networks. O'Reilly, December 1998.
54. L. Seltzer. Java Environments. PC Magazine, pages 137-141, April 7, 1998.
55. E. G. Sirer, A. J. Gregory and B. N. Bershad. A Practical Approach for Improving Startup Latency in Java Applications. In Workshop on Compiler Support for Systems Software, INRIA Technical Report #0228, pages 47-55, Grenoble, France, May 1999.
56. E. G. Sirer and B. N. Bershad. Using Production Grammars in Software Testing. In Second Conference on Domain Specific Languages, pages 1-13, Austin, Texas, October 1999.
57. Spyglass, Inc.Software Development Interface. Naperville, IL, September 1999. http://www.spyglass.com/products/smosaic/sdi/sdi_spec.html
58. R. Stata and M. Abadi. A Type System for Java Bytecode Subroutines. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 149-160, San Diego, California, January 1998.
59. Sun Microsystems. The Java HotSpot Performance Engine Architecture. White paper, Sun Microsystems, Palo Alto, California, September 1999. http://java.sun.com/products/hotspot/whitepaper.html.
60. T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, pages 213-239, 29(3), September 1997.
61. University of California, Irvine. p-System: Description, Background, Utilities. http://www.ics.uci.edu/∼archive/documentation/p-system/p-system.html.
62. D. S. Wallach, D. Balfanz, D. Dean, and E. W. Felten. Extensible Security Architectures for Java. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles, pages 116-128, Saint-Malo, France, October 1997.
63. W. Webb. Embedded Java: An Uncertain Future. Electrical Design News, 44(10):89-96, May 1999.
64. M. Weiser. Some Computer Science Problems in Ubiquitous Computing. In Communications of the ACM, pages 74-84, July 1993.