Information Flow Analysis for Fail-Secure Devices

Andrew Rae, Colin J. Fidge. Information Flow Analysis for Fail-Secure Devices. Comput. J., 48(1):17-26, 2005. [doi]

Abstract

Abstract is missing.