Safety versus secrecy: Invited paper

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

Volumn 1694, Issue , 1999, Pages 303-311

  Volpano, Dennis ^a  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BINARY RELATION; DETERMINISTIC PROGRAMMING; EXECUTION MONITORS; SAFETY PROPERTY; SOUND AND COMPLETE;

STATIC ANALYSIS;

EID: 84957709924     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48294-6_20     Document Type: Conference Paper

References (10)

1. Martín Abadi. Secrecy in programming-language semantics. In Proc. 15th Mathematical Foundations of Program Semantics, pages 1-14, April 1999.
2. R. Focardi and R. Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1):5-33, 1994/1995.
3. Nevin Heintze and Jon Riecke. The SLam Calculus: Programming with secrecy and integrity. In Proceedings 25th Symposium on Principles of Programming Languages, pages 365-377, San Diego, CA, January 1998.
4. K.R.M. Leino and R. Joshi. A semantic approach to secure information flow. In Proc 4th Int'l Conference on Mathematics of Program Construction, pages 254-271. Lecture Notes in Computer Science 1422, 1998.
5. John McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proceedings 1994 IEEE Symposium on Security and Privacy, pages 79-93, Oakland, CA, May 1994.
6. A. Sabelfeld and D. Sands. A per model of secure information flow in sequential programs. In Proc. 8th European Symposium on Programming. Lecture Notes in Computer Science 1576, March 1999.
7. F.B. Schneider. Enforceable security policies. Technical Report TR98-1664, Cornell University, January 1998.
8. Geoffrey Smith and Dennis Volpano. Secure information flow in a multi-threaded imperative language. In Proceedings 25th Symposium on Principles of Programming Languages, pages 355-364, San Diego, CA, January 1998.
9. Dennis Volpano and Geoffrey Smith. Eliminating covert flows with minimum typings. In Proceedings 10th IEEE Computer Security Foundations Workshop, pages 156-168, June 1997.
10. Dennis Volpano, Geoffrey Smith, and Cynthia Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(2,3):167-187, 1996.