loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1997 IEEE Symposium on Security and Privacy
A general theory of security properties
Oakland, CA
May 04-May 07
ISBN: 0-8186-7828-3
ASCII Text
x 
 
A. Zakinthinos, E.S. Lee, "A general theory of security properties," Security and Privacy, IEEE Symposium on, pp. 0094, 1997 IEEE Symposium on Security and Privacy, 1997.
 
 
BibTex
x
 
@article{ 10.1109/SECPRI.1997.601322,
author = {A. Zakinthinos and E.S. Lee},
title = {A general theory of security properties},
journal ={Security and Privacy, IEEE Symposium on},
volume = {0},
year = {1997},
issn = {1540-7993},
pages = {0094},
doi = {http://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601322},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Security and Privacy, IEEE Symposium on
TI - A general theory of security properties
SN - 1540-7993
SP
EP
A1 - A. Zakinthinos,
A1 - E.S. Lee,
PY - 1997
KW - security of data; possibilistic security properties; partial ordering; low level event sequence; security predicate; information flow; event systems; high level users; low level users; Selective Interleaving Functions framework; data confidentiality; information theory
VL - 0
JA - Security and Privacy, IEEE Symposium on
ER -
 
A. Zakinthinos, Comput. Lab., Cambridge Univ., UK
E.S. Lee, Comput. Lab., Cambridge Univ., UK
Abstract: We present a general theory of possibilistic security properties. We show that we can express a security property as a predicate that is true of every set containing all the traces with the same low level event sequence. Given this security predicate, we show how to construct a partial ordering of security properties. We also discuss information flow and present the weakest property such that no information can flow from high level users to low level users. Finally, we present a comparison of our framework and McLean's (1994) Selective Interleaving Functions framework.
Index Terms:
security of data; possibilistic security properties; partial ordering; low level event sequence; security predicate; information flow; event systems; high level users; low level users; Selective Interleaving Functions framework; data confidentiality; information theory
Citation:
A. Zakinthinos, E.S. Lee, "A general theory of security properties," sp, pp.0094, 1997 IEEE Symposium on Security and Privacy, 1997
Usage of this product signifies your acceptance of the Terms of Use.