Termination in Language-based Systems

Proceedings of the Symposium on Network and Distributed System Security, NDSS 2001

Volumn , Issue , 2001, Pages

  Rudys, Algis ^a   Clements, John ^a   Wallach, Dan S ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; EMBEDDED SYSTEMS; JAVA PROGRAMMING LANGUAGE; NETWORK SECURITY;

CODE RUNNING; CODE SYSTEM; COMMERCIAL SYSTEMS; FORMAL DESIGN; JAVA BYTE CODES; LANGUAGE RUNTIMES; MOBILE CODES; RUN- TIME SYSTEMS; RUNNING-IN; RUNTIMES;

CODES (SYMBOLS);

EID: 85062239490     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. J. Alves-Foss, editor. Formal Syntax and Semantics of Java. Number 1523 in Lecture Notes in Computer Science. Springer-Verlag, July 1999.
2. G. Back and W. Hsieh. Drawing the Red Line in Java. In Proceedings of the Seventh IEEE Workshop on Hot Topics in Operating Systems, Rio Rico, Arizona, Mar. 1999. http://www.cs.utah.edu/flux/papers/redline-hotos7.ps.
3. G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), San Diego, California, Oct. 2000. http://www.cs.utah.edu/flux/papers/kaffeos-osdi00-base.html.
4. G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the design of Java Operating System. In Proceedings of the 2000 Usenix Annual Technical Conference, San Diego, California, June 2000. http://www.cs.utah.edu/flux/papers/javaos-usenix00-base.html.
5. P. Bernadat, D. Lambright, and F. Travostino. Towards a resource-safe Java for service guarantees in uncooperative environments. In IEEE Workshop on Programming Languages for Real-Time Industrial Applications, Madrid, Spain, Dec. 1998.
6. G. Cohen, J. Chase, and D. Kaminsky. Automatic program transformation with JOIE. In Proceedings of the 1998 Usenix Annual Technical Symposium, pages 167–178, New Orleans, Louisiana, June 1998.
7. G. Czajkowski and T. von Eicken. JRes: A resource accounting interface for Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 21–35, Vancouver, British Columbia, Oct. 1998.
8. D. Dean. The security of static typing with dynamic linking. In Fourth ACM Conference on Computer and Communications Security, Zurich, Switzerland, Apr. 1997.
9. D. Dean. Formal Aspects of Mobile Code Security. PhD thesis, Princeton University, Princeton, New Jersey, Nov. 1998.
10. D. Dean, E. W. Felten, D. S. Wallach, and D. Balfanz. Java security: Web browsers and beyond. In D. E. Denning and P. J. Denning, editors, Internet Besieged: Countering Cyberspace Scofflaws, pages 241–269. ACM Press, New York, New York, Oct. 1997.
11. S. Drossopoulou and S. Eisenbach. Java is type safe — probably. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP’97), Jyväskylä, Finland, June 1997.
12. S. Drossopoulou, D. Wragg, and S. Eisenbach. What is Java binary compatibility? In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 341–358, Vancouver, British Columbia, Oct. 1998.
13. G. Edjlali, A. Acharya, and V. Chaudhary. History-based access control for mobile code. In Proceedings of the 5th ACM Conference on Computer and Communications Security (CCS’98), pages 38–48, San Francisco, California, Nov. 1998. ACM Press.
14. U. Erlingsson and F. B. Schneider. SASI enforcement of security policies: A retrospective. In Proceedings of the 1999 New Security Paradigms Workshop, Caledon Hills, Ontario, Canada, Sept. 1999. ACM Press.
15. M. Feeley. Polling efficiently on stock hardware. In Proceedings of the conference on Functional programming languages and computer architecture, Copenhagen, Denmark, June 1993.
16. M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235–271, 1992.
17. M. Flatt, R. B. Findler, S. Krishnamurthy, and M. Felleisen. 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, France, Sept. 1999. http://www.cs.rice.edu/CS/PLT/Publications/icfp99-ffkf.ps.gz.
18. L. Gong. Inside Java 2 Platform Security: Architecture, API Design, and Implementation. Addison-Wesley, Reading, Massachusetts, June 1999.
19. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, Reading, Massachusetts, 1996.
20. C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. Implementing multiple protection domains in Java. In USENIX Annual Technical Conference, New Orleans, Louisiana, June 1998. USENIX.
21. M. Hicks, P. Kakkar, J. T. Moore, C. A. Gunter, and S. Nettles. PLAN: A Packet Language for Active Networks. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages, pages 86–93. ACM, 1998. http://www.cis.upenn.edu/switchware/papers/plan.ps.
22. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, Massachusetts, 1996.
23. D. Malkhi, M. Reiter, and A. Rubin. Secure execution of Java applets using a remote playground. In Proceedings of the 1998 IEEE Symposium on Security and Privacy, pages 40–51, Oakland, California, May 1998.
24. G. McGraw and E. W. Felten. Securing Java: Getting Down to Business with Mobile Code. John Wiley and Sons, New York, New York, 1999.
25. K. Nilsen, S. Mitra, S. Sankaranarayanan, and V. Thanuvan. Asynchronous Java exception handling in a real-time context. In IEEE Workshop on Programming Languages for Real-Time Industrial Applications, Madrid, Spain, Dec. 1998. NewMonics, Inc. http://www.newmonics.com/news/conferences/ rtss/plrtia/async.exception.pdf.
26. E. G. Sirer, R. Grimm, A. J. Gregory, and B. N. Bershad. Design and implementation of a distributed virtual machine for networked computers. In Proceedings of the Seventeenth ACM Symposium on Operating System Principles, pages 202–216, Kiawah Island Resort, South Carolina, Dec. 1999. ACM.
27. R. Stata and M. Abadi. A type system for Java bytecode subroutines. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 149–160. ACM, Jan. 1998.
28. P. Tullman and J. Lepreau. Nested Java processes: OS structure for mobile code. In Eighth ACM SIGOPS European Workshop, Sept. 1998.
29. L. van Doorn. A secure Java virtual machine. In Ninth USENIX Security Symposium Proceedings, Denver, Colorado, Aug. 2000.
30. 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, Oct. 1997.
31. D. S. Wallach and E. W. Felten. Understanding Java stack inspection. In Proceedings of the 1998 IEEE Symposium on Security and Privacy, pages 52–63, Oakland, California, May 1998.