Secure information and CPS (0)

by S Zdancewic, A C Myers
Venue:In Proceedings of the 2001 European Symposium on Programming (ESOP'01), D. Sands, Ed. Lecture Notes in Computer Science