Joon Son, Jim Alves-Foss. A formal framework for real-time information flow analysis. Computers & Security, 28(6):421-432, 2009. [doi]
@article{SonA09,
title = {A formal framework for real-time information flow analysis},
author = {Joon Son and Jim Alves-Foss},
year = {2009},
doi = {10.1016/j.cose.2009.01.005},
url = {http://dx.doi.org/10.1016/j.cose.2009.01.005},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/SonA09},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {28},
number = {6},
pages = {421-432},
}