Information Flow Analysis for Fail-Secure Devices

Authors:
Andrew Rae;Colin Fidge
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Australia
Venue:
The Computer Journal
Year:
2005

Citing 0
Cited 8

Fault Evaluation for Security-Critical Communications Devices

Computer
Tracing secure information flow through mode changes

ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Product flow analysis in distribution networks with a fixed time horizon

ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Integrating hardware and software information flow analyses

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Verifying abstract information flow properties in fault tolerant security devices

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
SIFA: a tool for evaluation of high-grade security devices

ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy
An approach for network information flow analysis for systems of embedded components

MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security

Quantified Score

Hi-index	0.02

Visualization

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.