Richard A. Kemmerer, Phillip A. Porras. Covert Flow Trees: A Visual Approach to Analyzing Covert Storage Channels. IEEE Trans. Software Eng., 17(11):1166-1185, 1991. [doi]
@article{KemmererP91,
title = {Covert Flow Trees: A Visual Approach to Analyzing Covert Storage Channels},
author = {Richard A. Kemmerer and Phillip A. Porras},
year = {1991},
url = {http://www.computer.org/tse/ts1991/e1166abs.htm},
tags = {data-flow, systematic-approach},
researchr = {https://researchr.org/publication/KemmererP91},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {17},
number = {11},
pages = {1166-1185},
}