408 citations · 2.9k across the 87 of their papers we have counts for
1 paper · 2 filters
Sebastian Eggert, Ron van der Meyden
The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the…