loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th IEEE Computer Security Foundations Workshop (CSFW'01)
Confidentiality-Preserving Refinement
Cape Breton, Novia Scotia, Canada
June 11-June 13
ISBN: 0-7695-1146-5
ASCII Text
x 
 
Maritta Heisel, Andreas Pfitzmann, Thomas Santen, "Confidentiality-Preserving Refinement," Computer Security Foundations Workshop, IEEE, pp. 0295, 14th IEEE Computer Security Foundations Workshop (CSFW'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.2001.930154,
author = {Maritta Heisel and Andreas Pfitzmann and Thomas Santen},
title = {Confidentiality-Preserving Refinement},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {2001},
isbn = {0-7695-1146-5},
pages = {0295},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2001.930154},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - Confidentiality-Preserving Refinement
SN - 0-7695-1146-5
SP
EP
A1 - Maritta Heisel,
A1 - Andreas Pfitzmann,
A1 - Thomas Santen,
PY - 2001
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
Maritta Heisel, Universit?t Magdeburg
Andreas Pfitzmann, Technische Universit?t Dresden
Thomas Santen, Technische Universit?t Berlin
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.
Citation:
Maritta Heisel, Andreas Pfitzmann, Thomas Santen, "Confidentiality-Preserving Refinement," csfw, pp.0295, 14th IEEE Computer Security Foundations Workshop (CSFW'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.