Static Analysis for Secrecy and Non-interference in Networks of Processes.

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Browse the full PACT paper archive.