408 citations · 2.9k across the 87 of their papers we have counts for
1 paper · 2 filters
Sebastian Eggert, Ron van der Meyden, Henning Schnoor +1
The paper considers several definitions of information flow security for intransitive policies from the point of view of the complexity of verifying whether a finite-state system i…