5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…