JAC - Access right based encapsulation for Java

Software - Practice and Experience

Volumn 31, Issue 6, 2001, Pages 555-576

  Kniesel, Günter ^a   Theisen, Dirk ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

Access rights; Aliasing; Encapsulation; Java; Security

Indexed keywords

ENCAPSULATION; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

ALIASING; JAVA WITH ACCESS CONTROL (JAC);

JAVA PROGRAMMING LANGUAGE;

EID: 0035339004     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.372     Document Type: Article

References (35)

1. Kent S, Maung I. Encapsulation and aggregation. Technology of Object-Oriented Languages and Systems (TOOLS) 1995; 18.
2. Snyder A. Encapsulation and inheritance in object-oriented programming languages. Proceedings OOPSLA '86. ACM SIGPLAN Notices 1986; 21(11):38-45.
3. Hogg J, Lea D, Wills A, de Champeaux D, Holt R. Report on ECOOP'91 workshop W3: The Geneva convention on the treatment of object aliasing. OOPS Messenger 1992; 3(2):11-16.
4. Hogg J. Islands: Aliasing protection in object-oriented languages. Proceedings of OOPSLA '91. ACM SIGPLAN Notices 1991; 26(11):271-285.
5. Almeida PS. Balloon types: Controlling sharing of state in data types. Proceedings of ECOOP'97 (Lecture Notes in Computer Science, vol. 1241). Springer, 1997.
6. Bicarregui JC, Lano K, Maibaum TSE. Objects, associations and subsystems: A hierarchical approach to encapsulation. ECOOP '97 - Object-Oriented Programming, 11th European Conference, Jyväskylä (Lecture Notes in Computer Science, vol. 1241). Aksit M, Matsuoka S (eds.). Springer: New York, NY, 1997; 324-343.
7. Noble J, Vitek J, Potter J. Flexible alias protection. Proceedings of ECOOP'98 (Lecture Notes in Computer Science, vol. 1445). Springer Verlag, 1998; 158-185.
8. Kniesel G. Encapsulation = Visibility + Accessibility. Technical Report IAI-TR-96-12, CS Department III, University of Bonn, Germany, 1996.
9. Zendra O, Colnet D. Towards safer aliasing with the Eiffel language. Intercontinental Workshop on Aliasing in Object-Oriented Systems (in conjunction with ECOOP99). 1999. Online proceedings at http://cuiwww.unige.ch/~ecoopws/iwaoos/papers/.
10. Meyer B. Eiffel: The Language. Prentice Hall, 1992.
11. Stroustrup B. The C++ Programming Language (2nd edn). Addison-Wesley: Reading, MA, 1991.
12. Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley: Reading, MA, 1995.
13. Clarke G, Potter JM, Noble J. Ownership types for flexible alias protection. Proceedings of OOPSLA'98. ACM SIGPLAN Notices 1998; 33:48-64.
14. Clarke D, Noble J, Potter J. Overcoming representation exposure. Intercontinental Workshop on Aliasing in Object-Oriented Systems (in conjunction with ECOOP99), 1999. Online proceedings at http://cuiwww.unige.ch/~ecoopws/iwaoos/papers/.
15. Fabry RS. Capability-based addressing. Communications of the ACM 1974; 17(7):403-412.
16. Bacon J, Hayton R, Lo SL, Moody K. Extensible access control for a hierarchy of servers. ACM Operating Systems Review 1994; 28(3):4-15.
17. Kerridge JM et al. An access control system for database languages. Proceedings of the 4th British National Conference on Databases, 1985.
18. Fugini M, Martella G. Conceptual modeling of authorization in database systems. The Journal of Systems and Software 1987; 7(1):3-13.
19. Saks D. C++ theory and practice: const as a promise. C/C++ Users Journal 1996; 14(11):81-84.
20. Gong L. Inside Java 2 Platform Security - Architecture, API Design and Implementation. Addison-Wesley, 1999.
21. Drossopoulou S, Eisenbach S. Java is type safe - probably. ECCOP '97 - Object-Oriented Programming, Proceedings of the 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 (Lecture Notes in Computer Science, vol. 1241), Aksit M, Matsuoka S (eds.). Springer: New York, NY, 1997; 389-418.
22. Oheimb TN, von D. Java-light is type-safe - definitely. Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 19-21, 1998 San Diego, CA, 1998.
23. Lindholm T, Yellin F. The Java Virtual Machine Specification. Addison-Wesley, 1997.
24. Gosling J, Joy B, Steele G. The Java Language Specification. Addison-Wesley, 1996.
25. Gomes B, Stoutamire D, Vaysman B, Klawitter H. A Language Manual for Sather 1.1. www.icsi.berkeley.edu/sather/Documentation/LanguageDescription/contents.html [1996].
26. Kniesel G. On the notion of object state (in preparation), 2001.
27. Canning PS, Cook W, Hill WL, Olthoff WG. Interfaces for strongly-typed object-oriented programming. Proceedings OOPSLA '89. ACM SIGPLAN Notices 1989; 24(10):457-468.
28. Gosling J, Yelling F, Team TJ. The Java Application Programming Interface, vol. 1. Addison-Wesley, 1996.
29. Bracha G. Odersky M, Stoutamire D, Wadler P. Making the future safe for the past: Adding genericity to the Java programming language. Proceedings of OOPSLA'98. ACM SIGPLAN Notices 1998; 33.
30. Bokowski B, Dahm M. Poor man's genencity for Java. Presentation at ECOOP'98. http://www.inf.fu-berlin.de/~bokowski/pmgjava/ [1998].
31. Davis M. Immutables. Java-Report 1999; 4(4):70-77.
32. Lea D. Concurrent Programming in Java Second Edition - Design Principles and Patterns. Addison-Wesley, 1999.
33. Theisen D. Enhancing encapsulation in OOP - A practical approach. Diploma Thesis, CS Department III, University of Bonn, Germany, 1999.
34. Bokowski B. Implementing 'object ownership to order'. Intercontinental Workshop on Aliasing in Object-Oriented Systems (in conjunction with ECOOP99), 1999. Online proceedings at http://cuiwww.unige.ch/~ecoopws/iwaoos/papers/.
35. Bokowski B, Vitek J. Confined types. Intercontinental Workshop on Aliasing in Object-Oriented Systems (in conjunction with ECOOP99), 1999. Online proceedings at http://cuiwww.unige.ch/~ecoopws/iwaoos/papers/.