Confidentiality-preserving refinement

M. Heisel, A. Pfitzmann, T. Santen
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.  
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
more » ... 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.
doi:10.1109/csfw.2001.930154 dblp:conf/csfw/HeiselPS01 fatcat:6ozczwecnzf4feqad4cpwws6re