| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422553 | Electronic Notes in Theoretical Computer Science | 2007 | 15 Pages |
Abstract
The paper discusses the problem of model checking a number of noninterference properties in finite state systems: Noninterference, Nondeducibility on Inputs, Generalised Noninterference, Forward Correctability and Restrictiveness. The complexity of these problems is characterized, and a number of possible heuristics for optimization of the model checking are discussed.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
