@inbook{49cc46a9f4f0493eb4c349a6a921dbc4,
title = "Hoare Logic for Disjunctive Information Flow",
abstract = "Information flow control extends access control by not only regulating who is allowed to access what data but also the subsequent use of the data accessed. Applications within communication networks require such information flow control to depend on the actual data. For a concurrent language with synchronous communication and separate data domains we develop a Hoare logic for enforcing disjunctive information flow policies. We establish the soundness of the Hoare logic with respect to an operational semantics and illustrate the development on a running example.",
author = "Nielson, \{Hanne Riis\} and Flemming Nielson and Ximeng Li",
year = "2015",
doi = "10.1007/978-3-319-25527-9\_6",
language = "English",
isbn = "978-3-319-25526-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "47--65",
editor = "Bodei, \{Chiara \} and Ferrari, \{Gian-Luigi \} and Priami, \{Corrado \}",
booktitle = "Programming Languages with Applications to Biology and Security",
}