Robust declassification (2001)

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