Information flow analysis for valued-indexed data security compartments

DOI10.1007/978-3-319-05119-2_11MaRDI QIDQ2830034zbMATH OpenOpenAlexFDO

Authors Luísa Lourenço, Luís Caires

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

Mathematics Subject Classification ID

Distributed systems (68M14) Functional programming and lambda calculus (68N18)

Recommendations

• Dependent information flow types
• Type-based access control in data-centric systems
• SeLINQ: tracking information across application-database boundaries
• Programming Languages and Systems
• scientific article; zbMATH DE number 1832235

Cites work

• A per model of secure information flow in sequential programs
• Certification of programs for secure information flow
• Information flow analysis for valued-indexed data security compartments
• Multiple facets for dynamic information flow
• Secure distributed programming with value-dependent types
• Semantic subtyping with an SMT solver
• Type-based access control in data-centric systems

Cited in

(4)

• Information flow analysis for valued-indexed data security compartments
• A coordination language for databases
• Type-based access control in data-centric systems
• Hybrid information flow control for low-level code

Describes a project that uses

Uses Software

• JFlow
• TaintDroid
• F*
• Links

This page was built for publication: Information flow analysis for valued-indexed data security compartments

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