Enforcing robust declassification

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

Proceedings 17th IEEE Computer Security Foundations Workshop
Volume
Pages 172-186
June 2004
Topic(s): security
Note(s): information flow