Robust declassification (2001)

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