Boniface Hicks, Dave King 0002, Patrick McDaniel, Michael Hicks. Trusted declassification: : high-level policy for a security-typed language. In Vugranam C. Sreedhar, Steve Zdancewic, editors, Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006. pages 65-74, ACM, 2006. [doi]
Abstract is missing.