Observational determinism for concurrent program security. (2003)

by S Zdancewic, A C Myers
Venue:In Proc. IEEE Computer Sec. Foundations Workshop,