Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.

Deepak D'Souza, K. R. Raghavendra

Browse the full ESORICS paper archive.