Secure Information Flow as a Safety Property

DOI10.1007/978-3-642-01465-9_2MaRDI QIDQ3619469zbMATH OpenOpenAlexFDO

Authors Gérard Boudol

Publication date 7 April 2009

Published in Formal Aspects in Security and Trust (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-01465-9_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A semantic approach to secure information flow
• scientific article; zbMATH DE number 1692935
• Programming Languages and Systems
• Compile-time detection of information flow in sequential programs
• A type system for robust declassification

Cited in

(19)

• Discretionary Information Flow Control for Interaction-Oriented Specifications
• Symbolic abstract heaps for polymorphic information-flow guard inference
• Information flow safety in multiparty sessions
• Arrows for secure information flow
• Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
• Hoare logic for disjunctive information flow
• Information flow certificates
• Only connect, securely
• Secure information flow connections
• A per model of secure information flow in sequential programs
• Self-adaptation and secure information flow in multiparty communications
• scientific article; zbMATH DE number 1538026 (Why is no real title available?)
• scientific article; zbMATH DE number 7319029 (Why is no real title available?)
• Programming Languages and Systems
• Secure information flow via linear continuations
• A Policy Model for Secure Information Flow
• scientific article; zbMATH DE number 7361813 (Why is no real title available?)
• Static Analysis
• Content dependent information flow control

This page was built for publication: Secure Information Flow as a Safety Property

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