Robust declassification (2001)

by S Zdancewic, A Myers
Venue:In Proceedings of 14th IEEE Computer Security Foundations