111
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
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 i...