On the Decidability of Model-Checking Information Flow Properties.

Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick

Browse the full ICISS paper archive.