A semantic approach to secure information flow

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

Volumn 1422, Issue , 1998, Pages 254-271

  Leino, K Rustan M ^a   Joshi, Rajeev ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b UNIVERSITY OF TEXAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; SEMANTICS;

DESIRABLE FEATURES; DISJOINT SETS; HIGH SECURITIES; NON-DETERMINISM; PROGRAM BEHAVIOR; SECURE INFORMATION FLOW; SEMANTIC APPROACH; SEMANTIC CHARACTERIZATIONS;

PROGRAM COMPILERS;

EID: 84957588448     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. Gregory R. Andrews and Richard E Reitman. An axiomatic approach to information flow in programs. ACM Transactions on Programming Languages and Systems, 2(1):56-76, January 1980.
2. Jean-Pierre Banâtre, Ciaráin Bryce, and Daniel Le Métayer. Compile-time detection of information flow in sequential programs. In Proceedings of the European Symposium on Research in Computer Security, pages 55-73. Lecture Notes in Computer Science 875, Sprinter Verlag, 1994.
3. D. E. Bell and L. J. La Padula. Secure computer systems: Mathematical foundations and model. Technical Report M74-244, MITRE Corporation, Bedford, Massachusetts, 1973.
4. Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-513, July 1977.
5. Dorothy E. Denning. A lattice model of secure information flow. Communications of the ACM, 19(5):236-243, May 1976.
6. Edsger W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ, 1976.
7. Edsger W. Dijkstra and Carel S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, 1990.
8. Morrie Gasser. Building a secure computer system. Van Nostrand Reinhold Company, New York, 1988.
9. Eric C. R. Hehner. Predicative programming Part I. Communications of the ACM, 27(2): 134-143, February 1984.
10. Butler W. Lampson. A note on the confinement problem. Communications of the ACM, 16(10):613-615, October 1973.
11. R.M. Dijkstra. Relational calculus and relational program semantics. Eindhoven Institute of Technology, 1992.
12. A. W. Roscoe. CSP and determinism in security modelling. In Security and Privacy. IEEE, 1995.
13. Dennis Volpano and Geoffrey Smith. Eliminating covert flows with minimum typings. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, pages 156-168, June 1997.
14. Dennis Volpano and Geoffrey Smith. A type-based approach to program security. In Theory and Practice of Software Development: Proceedings/TAPSOFT’97, 7th International Joint Conference CAAP/FASE, volume 1214 of Lecture Notes in Computer Science, pages 607-621. Springer, April 1997.
15. Dennis Volpano, Geoffrey Smith, and Cynthia lrvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):1-21, 1996.