Confidentiality-Preserving Refinement is Compositional - Sometimes

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]

Authors

Thomas Santen

This author has not been identified. Look up 'Thomas Santen' in Google

Maritta Heisel

This author has not been identified. Look up 'Maritta Heisel' in Google

Andreas Pfitzmann

This author has not been identified. Look up 'Andreas Pfitzmann' in Google