Dependency-Based Information Flow Analysis with Declassification in a Program Logic

Bart van Delft, Richard Bubel

We present a deductive approach for the analysis of secure information flows with support for fine-grained policies that include declassifications in the form of delimited informat…