V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar. Provably Correct Runtime Enforcement of Non-interference Properties. In Peng Ning, Sihan Qing, Ninghui Li, editors, Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings. Volume 4307 of Lecture Notes in Computer Science, pages 332-351, Springer, 2006. [doi]
Abstract is missing.