Confidentiality-Preserving Refinement. Heisel, M., Pfitzmann, A., & Santen, T. In Proc.\ 14th IEEE Computer Security Foundations Workshop, pages 295–305, 2001. IEEE Computer Society.
abstract   bibtex   
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.
@INPROCEEDINGS{HPS2001,
     author = {Heisel, Maritta and Pfitzmann, Andreas and Santen, Thomas},
      title = {Confidentiality-Preserving Refinement},
  booktitle = {Proc.\ 14th IEEE Computer Security Foundations Workshop},
       year = {2001},
      pages = {295--305},
  publisher = {IEEE Computer Society},
   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.}
}
Downloads: 0