DMCA

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

Cached

Download Links

by C. Bodei , P. Degano , F. Nielson , H. Riis Nielson
Citations:28 - 4 self