Detection of information leak by data flow analysis

Authors:
Kyung Goo Doh;Seung Cheol Shin
Affiliations:
Hanyang University, Ansan, South Korea;Dongyang University, Youngju, South Korea
Venue:
ACM SIGPLAN Notices
Year:
2002

Citing 9
Cited 1

A semantic approach to secure information flow

Science of Computer Programming - Special issue on mathematics of program construction
A sound type system for secure flow analysis

Journal of Computer Security
An Axiomatic Approach to Information Flow in Programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Certification of programs for secure information flow

Communications of the ACM
A lattice model of secure information flow

Communications of the ACM
Principles of Program Analysis

Principles of Program Analysis
A Per Model of Secure Information Flow in Sequential Programs

Higher-Order and Symbolic Computation
A Type-Based Approach to Program Security

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Compile-Time Detection of Information Flow in Sequential Programs

ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security

Securing web application code by static analysis and runtime protection

Proceedings of the 13th international conference on World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper uses the standard technique of data flow analysis to statically find information leaks in simple imperative programs. The correctness of the analysis is discussed and the proof is sketched.