78
Voted
FOSSACS
2010
Springer
15 years 5 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...