A Policy Model for Secure Information Flow

DOI10.1007/978-3-642-03459-6_1MaRDI QIDQ3184709zbMATH OpenOpenAlexFDO

Authors Adedayo O. Adetoye, Atta Badii

Publication date 22 October 2009

Published in Foundations and Applications of Security Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03459-6_1

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Mediating secure information flow policies
• scientific article; zbMATH DE number 2088512
• A semantic approach to secure information flow
• Secure Information Flow as a Safety Property
• scientific article; zbMATH DE number 1522865
• Optimal policies for information sharing in information system security
• A proof system for information flow security

Cited in

(10)

• The enforcement of security policies for computation
• Automated enforcement for relaxed information release with reference points
• Dynamic intransitive noninterference revisited
• Secure information flow connections
• Mediating secure information flow policies
• scientific article; zbMATH DE number 1692935 (Why is no real title available?)
• Secure information flow by self-composition
• What you lose is what you leak: information leakage in declassification policies
• Programming Languages and Systems
• Only connect, securely

This page was built for publication: A Policy Model for Secure Information Flow

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