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
Volume
Pages 172-186
June 2004
Topic(s): security
Note(s): information flow