Robust declassification

Steve Zdancewic, Andrew C. Myers
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings 14th IEEE Computer Security Foundations Workshop
Volume
Pages 15-23
June 2001
Topic(s): security
Note(s): information flow