124
Voted
FOSSACS
2010
Springer
16 years 5 days 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...