Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour

DOI10.17879/24059374585MaRDI QIDQ5044295zbMATH OpenFDO

Authors Benedikt Nordhoff

Publication date 24 October 2022

Full work available at URL https://d-nb.info/1254310282/34

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer security (68M25)

Recommendations

• A semantic approach to secure information flow
• Secure Information Flow as a Safety Property
• Compile-time detection of information flow in sequential programs
• Static Analysis
• A Logical System for Modular Information Flow Verification

Cited in

(10)

• A semantic approach to secure information flow
• scientific article; zbMATH DE number 1696438 (Why is no real title available?)
• Information leakage analysis by abstract interpretation
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Value sensitivity and observable abstract values for information flow control
• Addressing covert termination and timing channels in concurrent information flow systems
• Hypercollecting semantics and its application to static analysis of information flow
• Information Flow Tracking for Side-Effectful Libraries
• Static Analysis
• Hybrid information flow control for low-level code

This page was built for publication: Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044295)