Detection of Information Leaks by Data Flow Analysis
- Title
- Detection of Information Leaks by Data Flow Analysis
- Author
- 도경구
- Keywords
- static analysis; data flow analysis; secure information flow
- Issue Date
- 2002-06
- Publisher
- ASSOC COMPUTING MACHINERY
- Citation
- ACM SIGPLAN Notices, v. 37, issue. 8, page. 66-71
- 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.
- URI
- https://dl.acm.org/doi/abs/10.1145/596992.597005https://repository.hanyang.ac.kr/handle/20.500.11754/157039
- ISSN
- 0362-1340; 1558-1160
- Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
