13 citations · 35 across the 16 of their papers we have counts for
1 paper · 1 filter
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in wh…