Information Flow Analysis for Valued-Indexed Data Security Compartments
From MaRDI portal
Publication:2830034
DOI10.1007/978-3-319-05119-2_11zbMath1348.68019OpenAlexW1461884856MaRDI QIDQ2830034
Publication date: 9 November 2016
Published in: Trustworthy Global Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-05119-2_11
Related Items (3)
Unnamed Item ⋮ Hybrid information flow control for low-level code ⋮ Information Flow Analysis for Valued-Indexed Data Security Compartments
Uses Software
Cites Work
- Information Flow Analysis for Valued-Indexed Data Security Compartments
- Semantic subtyping with an SMT solver
- Multiple facets for dynamic information flow
- Type-Based Access Control in Data-Centric Systems
- Certification of programs for secure information flow
- Secure distributed programming with value-dependent types
- A per model of secure information flow in sequential programs
This page was built for publication: Information Flow Analysis for Valued-Indexed Data Security Compartments