Noninterference in the presence of non-opaque pointers

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 217-229

  Hedin, Daniel ^a   Sands, David ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; COMPUTATIONAL METHODS; INFORMATION DISSEMINATION; JAVA PROGRAMMING LANGUAGE; OBJECT RECOGNITION;

HASHCODES; INSTRUCTIONS;

SECURITY OF DATA;

EID: 33947687258     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2006.19     Document Type: Conference Paper

References (11)

1. Torben Amtoft, Sruthi Bandhakavi, and Anindya Banerjee. A logic for information flow in object-oriented programs. In Proceedings of the Thirtythird Annual ACM Symposium on Principles of Programming Languages (POPL), pages 91-102, January 2006.
2. A. Banerjee and D. A. Naumann. Secure information flow and pointer confinement in a Java-like language. In Proc. IEEE Computer Security Foundations Workshop, pages 253-267, June 2002.
3. Anindya Banerjee and David Naumann. Stack-based access control for secure information flow. Journal of Functional Programming, pages 131-177, sep 2005.
4. Gilles Barthe and Tamara Rezk. Non-interference for a jvm-like language. In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, pages 103-112, New York, NY, USA, 2005. ACM Press.
5. D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504-513, July 1977.
6. René Rydhof Hansen. Flow Logic for Language-Based Safety and Security. PhD thesis, Technical University of Denmark, 2005.
7. Daniel Hedin and David Sands. Timing aware information flow security for a javacard-like bytecode. In Fausto Spoto, editor, BYTECODE'05, ENTCS. Elsevier, April 2005.
8. A. C. Myers, N. Nystrom, L. Zheng, and S. Zdancewic. Jif: Java information flow. Software release, http://www.cs.cornell.edu/jif, July 2001.
9. Benjamin C. Pierce. Types and programming languages. MIT Press, Cambridge, MA, USA, 2002.
10. A. Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. Selected Areas in Communications, 21(1):5-19, January 2003.
11. Andrew K. Wright and Matthias Felleisen. Asyntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.