Secure information flow and CPS (2001)

by Steve Zdancewic, Andrew C Myers
Venue:In Proc. 10th European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science