SeLINQ: tracking information across application-database boundaries

DOI10.1145/2628136.2628151MaRDI QIDQ2819661zbMATH OpenOpenAlexFDO

Authors Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld

Publication date 29 September 2016

Published in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2628136.2628151

zbMATH Keywords

static analysisinformation flowend-to-end securitylanguage-integrated queries

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Data and Applications Security XIX
• Access control scheme with tracing for outsourced databases
• Information Security

Cited in

(4)

• Information flow analysis for valued-indexed data security compartments
• SeLINQ
• Information flow control in software DB units based on formal verification
• Formal methods for web security

Describes a project that uses

Uses Software

• Fable
• GWT
• Jif
• Ruby
• MySQL
• PostgreSQL
• MS SQL Server
• Flow Caml

This page was built for publication: SeLINQ: tracking information across application-database boundaries

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