Secure information flow and CPS (2001)

by S Zdancewic, A C Myers
Venue:In Proc. of the 10th European Symposium on Programming. Lecture Notes in Computer Science