Nordhoff, Benedikt ; Nordhoff, Benedikt Heinrich Josef ; Nordhoff, Heinrich Josef ; Nordhoff, Josef: Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behavio [...]. 2021
Content
- Introduction
- Related Work
- Preliminaries
- Program Model and Security Property
- Characterisation of Information Flows
- Correctness
- Applications for Information Flow Control
- Relation to Program Dependence Graphs
- Fixed Point Abstraction
- Top Level Information Flow Abstraction
- Abstract Location Based Instantiation
- Optimising the Instantiation for Efficiency
- Regular Abstraction
- Conclusion
- Bibliography