Published Articles >> Table of Contents >> Abstract

14th IEEE Computer Security Foundations Workshop (CSFW'01)   p. 0295
Confidentiality-Preserving Refinement
Maritta Heisel, Universität Magdeburg
Andreas Pfitzmann, Technische Universität Dresden
Thomas Santen, Technische Universität Berlin

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.2001.930154
Send link to a friend

Abstract
Abstract: We develop a condition for confidentiality-preserving refinement which is both necessary and sufficient. Using a slight extension of CSP as notation, we give a toy example to illustrate the usefulness of our condition. Systems are specified by their behavior and a window. For an abstract system, the window specifies what information is allowed to be observed by its environment. For a concrete system, the window specifies what information cannot be hidden from its environment. A concrete system is a confidentiality-preserving refinement of an abstract system, if it behaviorally refines the abstract system and if the information revealed by the concrete window is allowed to be revealed according to the abstract window.
Back to Top Additional Information
Citation:  Maritta Heisel, Andreas Pfitzmann, Thomas Santen, "Confidentiality-Preserving Refinement," csfw, p. 0295,  14th IEEE Computer Security Foundations Workshop (CSFW'01),  2001