Type-based confinement

Journal of Functional Programming

Volumn 16, Issue 1, 2006, Pages 83-128

  Zhao, Tian ^a   Palsberg, Jens ^b   Vitek, Jan ^c  

^a University of Wisconsin Milwaukee   (United States)

^b University of California   (United States)

^c Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFINEMENT PROPERTIES; GENERIC EXTENSIONS; LANGUAGE-BASED SECURITY; OBJECT CALCULI; OBJECT GRAPHS; OBJECT-ORIENTED SYSTEM; TYPE SYSTEMS;

FUNCTIONAL PROGRAMMING;

EID: 31744436291     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796805005691     Document Type: Review

References (45)

1. Abadi, M. and Cardelli, L. (1996) A Theory of Objects. Springer-Verlag.
2. Aldrich, J., Kostadinov, V. and Chambers, C. (2002) Alias annotations for program understanding. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
3. Almeida, P. S. (1997) Balloon types: Controlling sharing of state in data types. Proceedings of the European Conference on Object-Oriented Programming (ECOOP).
4. Banerjee, A. and Naumann, D. A. (2002a) Representation independence, confinement and access control. Proceedings of the ACM Symposium on Principles of Programming Languages (POPL).
5. Banerjee, A. and Naumann, D. A. (2002b) Secure information flow and pointer confinement in a Java-like language. Proceedings of the IEEE Computer Security Foundations Workshop.
6. Boyapati, C. (2004) Safe Java: A Unified Type System for Safe Programming. PhD thesis, MIT.
7. Boyapati, C. and Rinard, M. (2001) A parameterized type system for race-free Java programs. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
8. Boyapati, C., Lee, R. and Rinard, M. (2002) Ownership types for safe programming: Preventing data races and deadlocks. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
9. Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H. and Richman, S. (2003a) Lazy modular upgrades in persistent object store. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
10. Boyapati, C., Liskov, B. and Shrira, L. (2003b) Ownership types for object encapsulation. Proceedings of the ACM Symposium on Principles of Programming Languages (POPL).
11. Boyapati, C., Salcianu, A., Beebee, W. and Rinard, M. (2003c) Ownership types for safe region-based memory management in real-time Java. Proceedings of the ACM Conference on Programming Language Design and Implementation.
12. Boyland, J., Noble, J. and Retert, W. (2001) Capabilities for aliasing: A generalisation of uniqueness and read-only. Proceedings of the European Conference on Object-Oriented Programming (ECOOP).
13. Clarke, D., Richmond, M. and Noble, J. (2003) Saving the world from bad Beans: Deployment-time confinement checking. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
14. Clarke, D. (2001) Object ownership and containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia.
15. Clarke, D. and Drossopoulou, S. (2002) Ownership, encapsulation and the disjointness of type and effect. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
16. Clarke, D., Potter, J. and Noble, J. (1998) Ownership types for flexible alias protection. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
17. Clarke, D., Noble, J. and Potter, J. M. (2001) Simple ownership types for object containment. Proceedings of the European Conference on Object-Oriented Programming (ECOOP).
18. Detlefs, D. L., Leino, K., Rustan M. and Nelson, G. (1998) Wrestling with rep exposure. Technical report SRC-RR-156. Digital Equipment Corporation Systems Research Center.
19. Foster, J. S., Fähndrich, M. and Aiken, A. (1999) A theory of type qualifiers. Proceedings of the ACM Conference on Programming Language Design and Implementation.
20. Foster, J. S., Terauchi, T. and Aiken, A. (2002) Flow-sensitive type qualifiers. Proceedings of the ACM Conference on Programming Language Design and Implementation.
21. Foster, J. S. (2002) Type Qualifiers: Lightweight Specifications to Improve Software Quality. PhD thesis, University of California, Berkeley.
22. Genius, D., Trapp, M. and Zimmermann, W. (1998) An approach to improve locality using Sandwich Types. Proceedings of the 2nd Types in Compilation Workshop.
23. Gong, L. (1998) Guarding objects. In: Vigna, G. (editor), Mobile Agents and Security. LNCS, vol. 576, pp. 1-23. Springer-Verlag.
24. Gong, L. (1999) Inside Java 2 Platform Security: Architecture, API Design, and Implementation. Addison-Wesley.
25. Grossman, D., Morrisett, G. and Zdancewic, S. (2000) Syntactic type abstraction. ACM Trans. Program. Lang. & Syst. 22(6), 1037-1080.
26. Grothoff, C., Palsberg, J. and Vitek, J. (2001) Encapsulating objects with confined types. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
27. Hagimont, D., Mossière, J., de Pina, X. R. and Saunier, F. (1996) Hidden software capabilities. Proceedings of the 16th International Conference on Distributed Computing System.
28. Hogg, J. (1991) Islands: Aliasing protection in object-oriented languages. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).
29. Hogg, J., Lea, D., Wills, A., de Champeaux, D. and Holt, R. (1992) The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2).
30. Igarashi, A., Pierce, B. C. and Wadler, P. (2001) Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. & Syst. 23(3), 396-450.
31. Kent, S. J. H. and Maung, I. (1995) Encapsulation and Aggregation. Proceedings of TOOLS Pacific 1995 - Technology of Object-Oriented Languages and Systems. Prentice Hall.
32. Leavens, G. (1991) Modular specification and verification of object-oriented programs. IEEE Software, November, 72-80.
33. Leroy, X. and Rouaix, F. (1998) Security properties of typed applets. Proceedings of the ACM Symposium on Principles of Programming Languages (POPL).
34. Levy, H. (editor) (1984) Capability Based Computer Systems. Digital Press.
35. Müller, P. and Poetzsch-Heffter, A. (1999) Universes: A type system for controlling representation exposure. In: Poetzsch-Heffter, A. and Meyer, J. (editors), Programming Languages and Fundamentals of Programming. Fernuniversität Hagen.
36. Müller, P. and Poetzsch-Heffter, A. (2000a) Modular specification and verification techniques for object-oriented software components. Foundations of Component-Based Systems, 137-159.
37. Müller, P. and Poetzsch-Heffter, A. (2000b) A type system for controlling representation exposure in Java. In: Drossopoulou, S., Eisenbach, S., Jacobs, B., Leavens, G. T., Müller, P. and Poetzsch-Heffter, A. (editors), Formal Techniques for Java Programs.
38. Noble, J., Vitek, J. and Potter, J. (1998) Flexible alias protection. Proceedings of the European Conference on Object-Oriented Programming (ECOOP).
39. Potanin, A., Noble, J. and Biddle, R. (2004a) Checking ownership and confinement. Concurrency & Computation: Practice & Experience, 16(7), 671-687.
40. Potanin, A., Noble, J., Clarke, D. and Biddle, R. (2004b) Featherweight generic confinement. International Workshop on Foundations of Object-oriented Languages (FOOL).
41. Sewell, P. and Vitek, J. (2003) Secure composition of untrusted code: Box π, wrappers, and causality types. J. Comput. Secur. 11(2), 135-187.
42. Vitek, Ja. and Bokowski, B. (2001) Confined types in Java. Software-Practice & Exper. 31(6), 507-532.
43. Vitek, J. and Bryce, C. (2001) The JavaSeal mobile agent kernel. Autonomous Agents & Multi-Agent Systems, 4.
44. Wallach, D., Balfanz, D., Dean, D. and Felton, E. (1997) Extensible Security Architectures for Java. Proceedings of the 16th Symposium on Operating System Principles.
45. Zhao, T., Palsberg, J. and Vitek, J. (2003) Lightweight confinement for Java. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Appplications (OOPSLA).