Security typings by abstract interpretation

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

Volumn 2477, Issue , 2002, Pages 360-375

  Zanotti, Mirko ^a,b  

^a UNIVERSITY OF VERONA   (Italy)

^b ÉCOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; SEMANTICS;

ABSTRACT INTERPRETATIONS; ABSTRACT SEMANTICS; FLOW CONDITION; GALOIS CONNECTION; IMPERATIVE PROGRAMS; LATTICE MODELING; PROGRAM PROPERTIES; SECURE INFORMATION FLOW;

STATIC ANALYSIS;

EID: 84958749689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45789-5_26     Document Type: Conference Paper

References (11)

1. D. E. Bell and L. J. LaPadula. Secure computer systems: Mathematical foundations. Technicalrep ort, Air Force Systems Command, 1973.
2. P. Cousot. Types as abstract interpretations. In Conference Record of the 24th ACM Symp. on Principles of Programming Languages (POPL’97), pages 316-331. ACM Press, New York, U.S.A., 1997.
3. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symp. on Principles of Programming Languages (POPL ’77), pages 238-252. ACM Press, New York, 1977.
4. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Conference Record of the 6th ACM Symp. on Principles of Programming Languages (POPL ’79), pages 269-282. ACM Press, New York, 1979.
5. D. E. Denning. Secure Information Flow in Computer Systems. PhD thesis, Purdue University, 1975.
6. D. E. Denning. A lattice model of secure information flow. Communications of the ACM, 19(5):236-242, 1976.
7. D. E. Denning and P. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504-513, 1977.
8. R. Giacobazzi and F. Ranzato. Refining and compressing abstract domains. In P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors, Proc. of the 24th Internat. Colloq. on Automata, Languages and Programming (ICALP ’97), volume 1256 of Lecture Notes in Computer Science, pages 771-781. Springer-Verlag, Berlin, 1997.
9. B. W. Lampson. Dynamic protection structures. Proceedings of the AFIPS Fall Joint Computer Conference, pages 27-38, 1969.
10. 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.
11. G. Winskel. The Formal Semantics of Programming Languages: an Introduction. Foundations of Computing Series. The MIT Press, 1993.