Confined types

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 10, 1999, Pages 82-96

  Bokowski, Boris ^a   Vitek, Jan ^b  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0005047427     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/320385.320392     Document Type: Article

References (46)

1. P. S. Almeida. Balloon types: Controlling sharing of state in data types. In M. Aksit and S. Matsuoka, editors, ECOOP'97 - Object-Oriented Programming, 11th European Conference, volume 1241 of Lecture Notes in Computer Science, pages 32-59, Jyväskylä, Finland, 9-13 June 1997. Springer.
2. B. Bokowski. Coffeestrainer: Statically-checked constraints on the definition and use of types in Java. In Proceedings of ESEC/FSE'99, Toulouse, France, Sept. 1999.
3. B. Bokowski and M. Dahm. Poor man's genericity for Java. In JIT Proceedings. Springer-Verlag, Frankfurt, Germany, Nov. 1998.
4. J. Boyland. Deferring destruction when reading unique variables. Technical report, University of Wisconsin - Milwaukee, Mar. 1999.
5. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In OOPSLA Proceedings. ACM Press, Vancouver, BC, Oct. 1998.
6. J. Chase, H. Levy, M. Baker-Harvey, and E. Lazowska. Opal: A single address space system for 64-bit architectures. In Proceedings of the Fourth Workshop on Workstation Operating Systems, pages 80-85, 1993.
7. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA '98 Conference Proceedings, volume 33(10) of ACM SIGPLAN Notices, pages 48-64. ACM, Oct. 1998.
8. D. Denning. A lattice model of secure information flow. Communications of the ACM, 19(5):236-243, May 1976.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
10. D. Genius, M. Trapp, and W. Zimmermann. An approach to improve locality using Sandwich Types. In Proceedings of the 2nd Types in Compilation workshop, volume LNCS 1473, Kyoto, Japan, March 1998. Springer Verlag.
11. L. Gong. Java security architecture (JDK 1.2). Technical report, JavaSoft, July 1997. Revision 0.5.
12. L. Gong. Guarding objects. In G. Vigna, editor, Mobile Agents and Security, volume 576 of LNCS, pages 1-23, Berlin, Germany, Aug. 1998. Springer.
13. J. Gosling, B. Joy, and G. L. Steele. The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA, USA, 1996.
14. R. Grimm and B. N. Bershad. Security for extensible systems. In Proceedings of 6th Workshop on Hot Topics in Operating Sytems, pages 62-66, Cape Cod, Massachusetts, May 1997.
15. D. Hagimont, J. Mossière, X. R. de Pina, and F. Saunier. Hidden software capabilities. In 16th International Conference on Distributed Computing System, Hong Kong, May 1996. IEEE CS Press.
16. 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.
17. N. Heintze and J. G. Riecke. The SLam calculus: Programming with secrecy and integrity. In Proceedings of the 25th POPL, Jan. 1998.
18. J. Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of the OOPSLA '91 Conference on Object-Oriented Programming Systems, Languages and Applications, pages 271-285, Nov. 1991. Published as ACM SIGPLAN Notices, volume 26, number 11.
19. J. Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of the OOPSLA '91 Conference on Object-Oriented Programming Systems, Languages and Applications, pages 271-285, Nov. 1991. Published as ACM SIGPLAN Notices, volume 26, number 11.
20. J. Hogg, D. Lea, A. Wills, D. de Champeaux, and R. Holt. The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2), Apr. 1992.
21. S. Kent and I. Maung. Encapsulation and Aggregation. In Proceedings of TOOLS PACIFIC 95 (TOOLS 18). Prentice Hall, 1995.
22. W. Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4), Dec. 1992.
23. X. Leroy and F. Rouaix. Security properties of typed applets. In Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 391-403, San Diego, California, 19-21 Jan. 1998.
24. H. Levy, editor. Capability Based Computer Systems. Digital Press, 1984.
25. G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In ECOOP Proceedings, LNCS 821, pages 260-279. Springer-Verlag, Bologna, Italy, July 1994.
26. S. Lucco, O. Sharp, and R. Wahbe. Omniware: A Universal Substrate for Web Programming. World Wide Web Journal, 1(1):359-368, Dec. 1995.
27. J. McLean. Security models. In J. Marciniak, editor, Encyclopedia of Software Engineering. Wiley & Sons, 1994.
28. A. Myers, J. Bank, and B. Liskov. Parameterized types for Java. In POPL Proceedings. ACM Press, Paris, France, Jan. 1997.
29. A. C. Myers. Jflow: Practical static information flow control. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL 99), 1999.
30. A. C. Myers and B. Liskov. Complete, safe information flow with decentralized labels. In Proceedings of the 1998 IEEE Symposium on Security and Privacy, Oakland, California, pages 186-197, 1998.
31. J. Noble, J. Potter, and J. Vitek. Flexible alias protection. In Proceedings of ECOOP'98, Brussels, Belgium, July 20 - 24 1998.
32. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997.
33. J. Potter, J. Noble, and D. Clarke. The ins and outs of objects. In Australian Software Engineering Conference, Adelaide, Australia, November 1998. IEEE Press.
34. J. G. Riecke and C. A. Stone. Privacy via Subsumption. In Fifth Workshop on Foundations of Object-Oriented Languages, 1998.
35. R. Rivest, A. Shamir, and L. Aldeman. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. Commun. ACM, 21(2), 1978.
36. Secure Internet Programming Group. http://www.cs-.princeton.edu/sip/news/april29.html. 1997.
37. G. Smith and D. Volpano. Secure information flow in a multi-threaded imperative language. In Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 355-364, San Diego, California, 19-21 Jan. 1998.
38. J. Tardo and L. Valente. Mobile agent security and Telescript. In IEEE CompCon, 1996.
39. K. K. Thorup and M. Torgersen. Unifying genericity - combining the benefits of virtual types and parameterized classes. In ECOOP Proceedings. Springer-Verlag, Lisbon, Portugal, June 1999.
40. F. Tip, C. Laffra, P. F. Sweeney, and D. Streeter. Size matters: Reducing the size of java class file archives. Technical report, IBM Research Report RC 21321, Oct. 1998.
41. J. Vitek and C. Bryce. Secure mobile code: the JavaSeal experiment. Manuscript, 1999.
42. J. Vitek, M. Serrano, and D. Thanos. Security and communication in mobile object systems. In D. Tsichritzis, editor, Objects at Large. University of Geneva, 1997.
43. D. Volpano and G. Smith. A type-based approach to program security. Lecture Notes in Computer Science, 1214, 1997.
44. D. Volpano and G. Smith. Confinement properties for programming languages. SIGACT News, 29(3):33-42, Sept. 1998.
45. D. Wallach, D. Balfanz, D. Dean, and E. Feiten. Extensible Security Architectures for Java. In Proceedings of the 16th Symposium on Operating System Principles, 1997.
46. F. Yellin. Low level security in Java. In Fourth International Conference on the World-Wide Web, MIT, Boston, Dec. 1995.