Confidentiality-Preserving Refinement is Compositional - Sometimes.

Thomas Santen, Maritta Heisel, Andreas Pfitzmann

Browse the full ESORICS paper archive.