Information flow analysis for fail-secure devices

Fidge, Colin J. & Rae, Andrew (2005) Information flow analysis for fail-secure devices. The Computer Journal, 48(1), pp. 17-26.

View at publisher


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.

Impact and interest:

12 citations in Scopus
Search Google Scholar™
7 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

800 since deposited on 26 Oct 2007
683 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 10443
Item Type: Journal Article
Refereed: Yes
Additional Information: For more information, please refer to the journal's website (see hypertext link) or contact the author.
DOI: 10.1093/comjnl/bxh056
ISSN: 0010-4620
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2005 Oxford University Press
Deposited On: 26 Oct 2007 00:00
Last Modified: 29 Feb 2012 13:19

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page