Static Analysis for Secrecy and Non-Interference in Networks of Processes (2001)

by C. Bodei, P. Degano, F. Nielson, H. Riis Nielson