Value sensitivity and observable abstract values for information flow control

DOI10.1007/978-3-662-48899-7_5zbMATH Open1471.68042OpenAlexW2193270772MaRDI QIDQ3460041FDOQ3460041

Authors: Luciano Bello, Daniel Hedin, Andrei Sabelfeld 

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

Recommendations

• Programming Languages and Systems
• Information flow in object-oriented software
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
• Content dependent information flow control

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (2)

• Multiple facets for dynamic information flow
• 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

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