Value Sensitivity and Observable Abstract Values for Information Flow Control

DOI10.1007/978-3-662-48899-7_5zbMath1471.68042OpenAlexW2193270772MaRDI QIDQ3460041

Daniel Hedin, Andrei Sabelfeld, Luciano Bello

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_5

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A Principled Approach to Tracking Information Flow in the Presence of Libraries

Uses Software

• Ada95
• JavaScript
• Paragon
• Jif
• JSFlow
• FlowFox

This page was built for publication: Value Sensitivity and Observable Abstract Values for Information Flow Control