Confidentiality-Preserving Refinement is Compositional — Sometimes

Computer Security — ESORICS 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-45853-0_12 ◽

2002 ◽

pp. 194-211 ◽

Author(s):

Thomas Santen ◽

Maritta Heisel ◽

Andreas Pfitzmann

Download Full-text