Secure information and CPS (2001)

by S Zdancewic, A Myers
Venue:Proceedings of ESOP'01, volume 2028 of Lecture Notes in Computer Science