David Clark, Sebastian Hunt, Pasquale Malacaria. A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security, 15(3):321-371, 2007. [doi]
@article{ClarkHM07,
title = {A static analysis for quantifying information flow in a simple imperative language},
author = {David Clark and Sebastian Hunt and Pasquale Malacaria},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=15&issue=3&spage=321},
tags = {data-flow language, analysis, static analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/ClarkHM07},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {15},
number = {3},
pages = {321-371},
}