Anindya Banerjee, David A. Naumann, Stan Rosenberg. Towards a logical account of declassification. In Michael W. Hicks, editor, Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007. pages 61-66, ACM, 2007. [doi]
Abstract is missing.