Information Flow Analysis for Fail-Secure Devices | Zendy

Andrew Rae | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Information Flow Analysis for Fail-Secure Devices

Author(s) -

Andrew Rae

Publication year - 2005

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/bxh056

Subject(s) - computer science , information flow , reachability , component (thermodynamics) , information security , flow (mathematics) , computer security , distributed computing , theoretical computer science , mathematics , philosophy , linguistics , physics , geometry , thermodynamics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research