Value sensitivity and observable abstract values for information flow control

DOI10.1007/978-3-662-48899-7_5MaRDI QIDQ3460041zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cited in

(2)

• Multiple facets for dynamic information flow
• A Principled Approach to Tracking Information Flow in the Presence of Libraries

Describes a project that uses

Uses Software

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

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)