Semantics and Program Analysis of Computationally Secure Information Flow (2001)

by P Laud
Venue:in Proc. of 10th European Symposium on Programming (ESOP'01), Springer LNCS