Thomas Santen, Maritta Heisel, Andreas Pfitzmann. Confidentiality-Preserving Refinement is Compositional - Sometimes. In Dieter Gollmann, Günter Karjoth, Michael Waidner, editors, Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings. Volume 2502 of Lecture Notes in Computer Science, pages 194-211, Springer, 2002. [doi]
Abstract is missing.