Information flow analysis for fail-secure devices

Rae, Andrew and Fidge, Colin (2005) Information flow analysis for fail-secure devices. Computer Journal, 48 1: 17-26. doi:10.1093/comjnl/bxh056


Author Rae, Andrew
Fidge, Colin
Title Information flow analysis for fail-secure devices
Journal name Computer Journal   Check publisher's open access policy
ISSN 0010-4620
Publication date 2005-01-01
Sub-type Article (original research)
DOI 10.1093/comjnl/bxh056
Open Access Status Not yet assessed
Volume 48
Issue 1
Start page 17
End page 26
Total pages 10
Editor F. Murtagh
Place of publication USA
Publisher Oxford University Press
Language eng
Subject C1
291603 Input, Output and Data Devices
700302 Telecommunications
Abstract Information security devices must preserve security properties even in the presence of faults. This in turn requires a rigorous evaluation of the system behaviours resulting from component failures, especially how such failures affect information flow. We introduce a compositional method of static analysis for fail-secure behaviour. Our method uses reachability matrices to identify potentially undesirable information flows based on the fault modes of the system's components.
Keyword Computer Science, Hardware & Architecture
Computer Science, Information Systems
Computer Science, Software Engineering
Q-Index Code C1
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 8 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 12 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 15 Aug 2007, 17:19:49 EST