Secure information ow and CPS (2001)

by Steve Zdancewic, Andrew C Myers
Venue:Proceedings of the 2001 European Symposium on Programming (ESOP'01), Lecture Notes in Computer Science