![]() |
@article{DBLP:journals/cj/RaeF05,
author = {Andrew Rae and
Colin J. Fidge},
title = {Information Flow Analysis for Fail-Secure Devices},
journal = {Comput. J.},
volume = {48},
number = {1},
year = {2005},
pages = {17-26},
ee = {http://www3.oup.co.uk/computer_journal/hdb/Volume_48/Issue_01/bxh056.sgm.abs.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-05-30 by Michael Ley (ley@uni-trier.de)