Secure information flow and CPS. (2001)

by S Zdancewic, A C Myers
Venue:Lecture Notes in Computer Science,