Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell. Disjunction Category Labels. In Peeter Laud, editor, Information Security Technology for Applications - 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers. Volume 7161 of Lecture Notes in Computer Science, pages 223-239, Springer, 2011. [doi]
Abstract is missing.