Termination in Language-Based Systems

ACM Transactions on Information and System Security

Volumn 5, Issue 2, 2002, Pages 138-168

  Rudys, Algis ^a   Wallach, Dan S ^a  

^a Rice University   (United States)

Author keywords

Applets; Internet; Java; Languages; Resource Control; Security; Soft Termination; Termination

Indexed keywords

EID: 85015594409     PISSN: 10949224     EISSN: 15577406     Source Type: Journal    
DOI: 10.1145/505586.505589     Document Type: Article

References (43)

1. Alves-Foss, J., Ed. 1999. Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, vol. 1523, Springer-Verlag, New York.
2. Back, G. and Hsieh, W. 1999. Drawing the red line in Java. In Proceedings of the Seventh IEEE Workshop on Hot Topics in Operating Systems (Rio Rico, Ariz., March).
3. Back, G., Hsieh, W. C., and Lepreau, J. 2000. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI2000) (San Diego, Oct.).
4. Back, G., Tullmann, P., Stoller, L., Hsieh, W. C., and Lepreau, J. 2000. Techniques for the design of Java operating system. In Proceedings of the 2000 Usenix Annual Technical Conference (San Diego, June).
5. Bernadat, P., Lambright, D., and Travostino, F. 1998. Towards A resource-safe Java for service guarantees in uncooperative environments. In Proceedings of the IEEE Workshop on Programming Languages for Real-Time Industrial Applications (Madrid, Dec.).
6. Binder, W. 2001. Design and implementation of the J-SEAL2 mobile agent kernel. In Proceedings of the 2001 Symposium on Applications and the Internet (San Diego, Jan.).
7. Bromley, H. 1986. Lisp Lore: A Guide to Programming the Lisp Machine. Kluwer Academic, Hingham, Mass.
8. Burroughs Corporation. 1969. Burroughs B6500 Information Processing Systems Reference Manual. Burroughs Corporation, Detroit.
9. Chander, A., Mitchell, J. C., and Shin, I. 2001. Mobile code security by Java bytecode instrumentation. In Proceedings of the 2001 DARPA Information Survivability Conference & Exposition (DISCEXII) (Anaheim, Calif., June).
10. Coglio, A. and Goldberg, A. 2000. Type safety in the JVM: Some problems in JDK 1.2.2 and proposed solutions. In Proceedings of the Second ECOOP Workshop on Formal Techniques for Java Programs (Sophia Antipolis and Cannes, France, June).
11. Cohen, G., Chase, J., and Kaminsky, D. 1998. Automatic program transformation with JOIE. In Proceedings of the 1998 Usenix Annual Technical Symposium (New Orleans, June), 167-178.
12. Czajkowski, G. and Daynes, L. 2001. Multi-tasking without compromise: A virtual machine approach. In Proceedings of Object-Oriented Programming, Systems, Languages and Applications (Tampa Bay, Fl., Oct.).
13. Czajkowski, G. and Von Eicken, T. 1998. JRes: A resource accounting interface for Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vancouver, British Columbia, Oct.), 21-35.
14. Daynes, L. and Czajkowski, G. 2001. High-performance, space-efficient, automated object locking. In Proceedings of the Seventeenth International Conference on Data Engineering (Heidelberg, April).
15. Dean, D. 1997. The security of static typing with dynamic linking. In Proceedings of the Fourth ACM Conference on Computer and Communications Security (zurich, April).
16. Dean, D., Felten, E. W., Wallach, D. S., and BALFANZ, D. 1997. Java security: Web browsers and beyond. In Internet Besieged: Countering Cyberspace Scofflaws, D. E. Denning and P. J. Denning, Eds., ACM, New York, 241-269.
17. Drossopoulou, S. and Eisenbach, S. 1997. Java Is type safe-Probably. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '97) (Jyvaskyla, Finland, June).
18. Drossopoulou, S., Wragg, D., and Eisenbach, S. 1998. What Is Java binary compatibility? In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vancouver, British Columbia, Oct.), 341-358.
19. Edjlali, G., Acharya, A., and Chaudhary, V. 1998. History-based access control for mobile code. In Proceedings of the Fifth ACM Conference on Computer and Communications Security (CCS '98) (San Francisco, Nov.), ACM, New York, 38-48.
20. Erlingsson, U. and Schneider, F. B. 1999. Sasi enforcement of security policies: A retrospective. In Proceedings of the 1999 New Security Paradigms Workshop (Caledon Hills, Ontario, Sept.), ACM, New York.
21. Feeley, M. 1993. Polling Efficiently on stock hardware. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture (Copenhagen, June).
22. Felleisen, M. and Hieb, R. 1992. The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci. 102, 235-271.
23. Flatt, M., Findler, R. B., Krishnamurthy, S., and Felleisen, M. 1999. Programming languages as operating systems (or revenge of the son of the Lisp machine). In Proceedings of the 1999 ACM International Conference on Functional Programming (ICFP '99) (Paris, Sept.).
24. Goldberg, A. and Robson, D. 1989. Smalltalk 80: The Language. Addison-Wesley, Reading, Mass.
25. Gong, L. 1999. Inside Java 2 Platform Security: Architecture, API Design, and Implementation. Addison-Wesley, Reading, Mass.
26. Gosling, J., JOY, B., and STEELE, G. 1996. The Java Language Specification. Addison-Wesley, Reading, Mass.
27. Hawblitzel, C., Chang, C.-C., Czajkowski, G., Hu, D., and Von Eicken, T. 1998. Implementing multiple protection domains in Java. In USENIX Annual Technical Conference (New Orleans, June). USENIX.
28. Hicks, M., Kakkar, P., Moore, J. T., Gunter, C. A., and Nettles, S. 1998. PLAN: A packet language for active networks. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages, ACM, New York, 86-93.
29. Lindholm, T. and Yellin, F. 1996. The Java Virtual Machine Specification. Addison-Wesley, Reading, Mass.
30. Malkhi, D., Reiter, M., and RUBIN, A. 1998. Secure execution of Java applets using a remote playground. In Proceedings of the 1998 IEEE Symposium on Security and Privacy (Oakland, Calif., May), 40-51.
31. Mcgraw, G. and Felten, E. W. 1999. Securing Java: Getting Down to Business with Mobile Code. Wiley, New York.
32. Nilsen, K., Mitra, S., Sankaranarayanan, S., and Thanuvan, V. 1998. Asynchronous Java exception handling in a real-time context. In Proceedings of the IEEE Workshop on Programming Languages for Real-Time Industrial Applications (Madrid, Dec.), NewMonics, Inc.
33. Printezis, T., Atkinson, M. P., Daynes, L., Spence, S., and Bailey, P. 1997. The design of a new persistent object store for PJama. In Proceedings of the Second International Workshop on Persistence and Java (PJW2) (Half Moon Bay, Calif.).
34. Redell, D., Dalal, Y., Horsley, T., Lauer, H., Lynch, W., Mcjones, P., Murray, H., and Purcell, S. 1980. Pilot: An operating system for a personal computer. Commun. ACM23, 2 (Feb.), 81-92.
35. Sirer, E. G., Grimm, R., Gregory, A. J., and Bershad, B. N. 1999. Design and implementation of a distributed virtual machine for networked computers. In Proceedings of the Seventeenth ACM Symposium on Operating System Principles (Kiawah Island, S. C., Dec.), ACM, New York, 202-216.
36. Stata, R.and Abadi, M. 1998. A type system for Java bytecode subroutines. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages (Jan.), ACM, New York, 149-160.
37. Sun Microsystems. 1990. ptrace(2) Manual Page. Sun Microsystems, Palo Alto, Calif.
38. Swinehart, D. C., Zellweger, P. T., Beach, R. J., and Hagmann, R. B. 1986. A structural view of the Cedar programming environment. ACM Trans. Program. Lang. Syst. 8, 4 (Oct.), 419-490.
39. Tullman, P. and Lepreau, J. 1998. Nested Java processes: OS structure for mobile code. In Proceedings of the Eighth ACM SIGOPS European Workshop (Sept.).
40. Van Doorn, L. 2000. A secure Java virtual machine. In Ninth USENIX Security Symposium Proceedings (Denver, August).
41. Wallach, D. S., Balfanz, D., Dean, D., and Felten, E. W. 1997. Extensible security architectures for Java. In Proceedings of the Sixteenth ACM Symposium on Operating System Principles (Saint-Malo, France, Oct.), 116-128.
42. Wallach, D. S., Felten, E. W., and Appel, A. W. 2000. The security architecture formerly known as stack inspection: A security mechanism for language-based systems. ACM Trans. Soft. Eng. Method. 9, 4 (Oct.), 341-378.
43. Wirth, N. and Gutknecht, J. 1992. Project Oberon. ACM, New York.