Access graphs: Another view on static access control for a better understanding and use

Journal of Object Technology

Volumn 1, Issue 5, 2002, Pages 95-116

  Ardourel, Gilles ^a   Huchard, Marianne ^a  

^a LIRMM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING; SOCIETIES AND INSTITUTIONS;

CODE GENERATOR; OBJECT-BASED SECURITY; STATIC ACCESS CONTROL;

SOFTWARE ENGINEERING;

EID: 2942727690     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2002.1.5.a1     Document Type: Article

References (24)

1. M. Abadi. Protection in programming-language translations. In Automata, languages and programming: 25th international colloquium, ICALP'98, Lecture Notes in Computer Science - 1443, pages 868-883. Springer verlag, Berlin, 1998.
2. G. Ardourel and M. Huchard. AGATE, Access Graph bAsed Tools for handling Encapsulation. In Proceedings of the 16th IEEE International Conference Automated Software Engineering (ASE) 26-29 Nov. 2001 San Diego California, pages 311-314, 2001.
3. G. Ardourel and M. Huchard. Representing static access control in object oriented software engineering. Workshop of Visualization of Relationnal Data WVRD 2002 ftp://ftpdim.uqac.ca/pub/ychirico/wvdr2002/ardourel.pdf, 2002.
4. G. Ardourel and M. Huchard. Teaching encapsulation and modularity in object-oriented languages with access graphs. Sixth Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts, ECOOP 2002. http://prog.vub.ac.be/ ecoop2002/ws03, 2002.
5. K. Arnold and J. Gosling. The Java Programming Language Second Edition. Addison Wesley, 1998.
6. M. Biberstein, J. Gil, and S. Porat. Sealing, encapsulation, and mutability. In ECOOP 2001 Proceedings Budapest Hungary, 2001.
7. A. Blewitt, A. Bundy, and I. Stark. Automatic verification of Java Design Patterns. In Proceedings of the 16th IEEE International Conference Automated Software Engineering (ASE) 26-29 Nov. 2001 San Diego California, pages 324-327, 2001.
8. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.
9. P. Coad and E. Yourdon. Object-Oriented Design. Prentice-Hall, 1991.
10. R. K. Ege. Encapsulation - the key to re-usable software components. http://tools.fiu.edu/encaps-one.ps, 1997.
11. A. Golberg and D. Robson. Smalltalk-80, the Language and its Implementation. Addison Wesley, Reading, Massachusetts, 1983.
12. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification (Second Edition). Addison Wesley, 2000.
13. O. Gout, G. Ardourel, and M. Huchard. Access Graph Visualization: A step towards better understanding of static access control. Electronic Notes in Theoretical Computer Science vol 72, no.2, http://www.elsevier.nl/, 2002.
14. J. Jorgensen. A Comparison of the Object Oriented Features of Ada 9X and C++. In ADA-Europe 93, pages 125-141, 1993.
15. I. Joyner. Objects Unencapsulated, Java, Eiffel and C++. Prentice Hall, 1999.
16. B. Meyer. Object-oriented Software Construction. Englewood Cliffs NJ: Prentice Hall, 1988.
17. B. Meyer. Eiffel, The Language. Prentice Hall - Object-Oriented Series, 1992.
18. Rational Software Corporation. UML v 1.3 Documentation. http://www.rational.com/uml/resources/documentation/index.jtmpl.
19. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modeling and Design. Prentice Hall Inc. Englewood Cliffs, 1991.
20. A. Snyder. Encapsulation and Inheritance in Object-Oriented Programming Languages. Special issue of Sigplan Notice - Proceedings of ACM OOPSLA '86, 21(11):38-45, 1986.
21. I. standard ISO/IEC 14882. Programming Languages - C++. Information Technology Council, 1998. http://www.ncits.org/cplusplus.htm.
22. B. Stroustrup. The C++ programming language, Third Edition. Addison Wesley, 1997.
23. S. T. Taft and R. A. Duff. The Ada 95 Reference Manual, volume 1246. Lecture Notes in Computer Science, Springer-Verlag, 1997.
24. H. Theiling. Extracting Safe and Precise Control Flow from Binaries. In Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju-do, South Korea, December 2000.