Title :
Confidentiality-preserving refinement
Author :
Heisel, Maritta ; Pfitzmann, Andreas ; Santen, Thomas
Author_Institution :
Universitat Magdeburg
Keywords :
Availability; Concrete; Information security; Systems engineering and theory; Windows;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930154