Lenient array operations for practical secure information flow

Proceedings of the Computer Security Foundations Workshop

Volumn 17, Issue , 2004, Pages 115-124

  Deng, Zhenyue ^a   Smith, Geoffrey ^a  

^a Florida International University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; PARALLEL PROCESSING SYSTEMS; PROGRAMMABLE LOGIC CONTROLLERS; SECURITY OF DATA; SYSTEMS ANALYSIS;

INFORMATION FLOWS; INFORMATION LEAKAGES; LENIENT ARRAY OPERATIONS; NONZERO ELEMENT;

INFORMATION ANALYSIS;

EID: 4944229151     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. J. Agat. Transforming out timing leaks. In Proceedings 27th Symposium on Principles of Programming Languages, pages 40-53, Boston, MA, Jan. 2000.
2. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language, Third Edition. Addison-Wesley, 2000.
3. A. Banerjee and D. A. Naumann. Secure information flow and pointer confinement in a Java-like language. In Proceedings 15th IEEE Computer Security Foundations Workshop, pages 253-267, Cape Breton, Nova Scotia, Canada, June 2002.
4. D. Denning and P. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7):504-513, 1977.
5. C. A. Gunter. Semantics of Programming Languages. The MIT Press, 1992.
6. A. Myers. JFlow: Practical mostly-static information flow control. In Proceedings 26th Symposium on Principles of Programming Languages, pages 228-241, San Antonio, TX, Jan. 1999.
7. A. Myers, A. Sabeifeld, and S. Zdancewic. Enforcing robust declassification. In Proceedings 17th IEEE Computer Security Foundations Workshop, Pacific Grove, California, June 2004.
8. A. Sabelfeld and A. C. Myers. Language-based information flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, Jan. 2003.
9. V. Simonet. The Flow Caml system (version 1.00): Documentation and user's manual. Technical report, Institut National de Recherche en Informatique et en Automatique, July 2003. Available at http://cristal.inria.fr/ ~simonet/soft/flowcaml/manual/index.html.
10. D. Volpano and G. Smith. Eliminating covert flows with minimum typings. In Proceedings 10th IEEE Computer Security Foundations Workshop, pages 156-168, June 1997.
11. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(2,3):167-187, 1996.
12. R. Yocum. Type checking for secure information flow in a multi-threaded language. Master's thesis, Florida International University, 2002.