Robust declassification

Autor: S. Zdancewic, A.C. Myers
Rok vydání: 2005
Zdroj: Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
DOI: 10.1109/csfw.2001.930133
Databáze: OpenAIRE