Static analysis for secrecy and noninterference in networks of processes (0)

by C BODEI, P DEGANO, F NIELSON, H R NIELSON
Venue:Lecture Notes in Computer Science