Chenyi Zhang. Conditional Information Flow Policies and Unwinding Relations. In Roberto Bruni, Vladimiro Sassone, editors, Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Volume 7173 of Lecture Notes in Computer Science, pages 227-241, Springer, 2011. [doi]
Abstract is missing.