Modular and constraint-based information flow inference for an object-oriented language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3148, Issue , 2004, Pages 84-99

  Sun, Qi ^a   Banerjee, Anindya ^b   Naumann, David A ^a  

^a STEVENS INSTITUTE OF TECHNOLOGY   (United States)

^b KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; OBJECT ORIENTED PROGRAMMING; STATIC ANALYSIS;

CONSTRAINT-BASED; INFERENCE ALGORITHM; INFORMATION FLOW POLICIES; INFORMATION FLOWS; PARAMETERIZED; SECURITY LEVEL; SECURITY TYPES; SOUNDNESS AND COMPLETENESS;

INFERENCE ENGINES;

EID: 35048864843     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27864-1_9     Document Type: Article

References (21)

1. Martin Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749-786, September 1999.
2. Ole Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In European Conference on Object Oriented Programming (ECOOP), pages 2-26, 1995.
3. Anindya Banerjee and David A. Naumann. Secure information flow and pointer confinement in a Java-like language. In IEEE Computer Security Foundations Workshop (CSFW), pages 253-270. IEEE Computer Society Press, 2002.
4. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Craig Chambers, editor, ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 183-200, Vancouver, BC, 1998.
5. Dorothy Denning and Peter Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-513, 1977.
6. J. Goguen and J. Meseguer. Security policies and security models. In Proceedings of the 1982 IEEE Symposium on Security and Privacy, pages 11-20, 1982.
7. Fritz Henglein. Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems, 15(2):253-289, April 1993.
8. Alan Mycroft. Polymorphic type schemes and recursive definitions. In Sixth International Symposium on Programming, number 166 in Lecture Notes in Computer Science. Springer-Verlag, 1984.
9. Andrew C. Myers. JFlow: Practical mostly-static information flow control. In ACM Symposium on Principles of Programming Languages (POPL), pages 228-241, 1999.
10. Andrew C. Myers. Mostly-Static Decentralized Information Flow Control. PhD thesis, Laboratory of Computer Science, MIT, 1999.
11. Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA). ACM Press, 1991.
12. François Pottier and Vincent Simonet. Information flow inference for ML. In ACM Symposium on Principles of Programming Languages (POPL), pages 319-330, 2002.
13. Jakob Rehof and Fritz Henglein. The complexity of subtype entailment for simple types. In Proceedings LICS '97, Twelfth Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 1997.
14. Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5-19, January 2003.
15. Vincent Simonet. Flow Caml in a nutshell. In Graham Hutton, editor, Proceedings of the first APPSEM-II workshop, pages 152-165, March 2003.
16. Vincent Simonet. The Flow Caml System: documentation and user's manual. Technical Report 0282, Institut National de Recherche en Informatique et en Automatique (INRIA), July 2003.
17. Christian Skalka and François Pottier. Syntactic type soundness for HM(X). In Proceedings of the Workshop on Types in Programming (TIP'02), volume 75 of Electronic Notes in Theoretical, Computer Science, July 2002.
18. Qi Sun, Anindya Banerjee, and David A. Naumann. Constraint-based security flow inferencer for a Java-like language. Technical Report KSU CIS TR-2004-2, Kansas State University, 2004. In preparation.
19. Dennis Volpano and Geoffrey Smith. A type-based approach to program security. In Proceedings of TAPSOFT'97, number 1214 in Lecture Notes in Computer Science, pages 607-621. Springer-Verlag, 1997.
20. Mitchell Wand. Complete type inference for simple objects. In Proc. 2nd IEEE Symposium on Logic in Computer Science, pages 37-44, 1987.
21. Taejun Wang and Scott Smith. Precise constraint-based type inference for Java. In European Conference on Object Oriented Programming (ECOOP), 2001.