Confidentiality-Preserving Refinement

Maritta Heisel, Andreas Pfitzmann, Thomas Santen. Confidentiality-Preserving Refinement. In 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada. pages 295-306, IEEE Computer Society, 2001. [doi]

Authors

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

Thomas Santen

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