Andrew Rae, Colin J. Fidge. Information Flow Analysis for Fail-Secure Devices. Comput. J., 48(1):17-26, 2005. [doi]
@article{RaeF05,
title = {Information Flow Analysis for Fail-Secure Devices},
author = {Andrew Rae and Colin J. Fidge},
year = {2005},
url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_48/Issue_01/bxh056.sgm.abs.html},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/RaeF05},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {48},
number = {1},
pages = {17-26},
}