Robust declassification. In (2001)

by S Zdancewic, A C Myers
Venue:Proc. 14th IEEE Computer Security Foundations Workshop (CSFW),