Title :
A general theory of security properties
Author :
Zakinthinos, Aris ; Lee, E.S.
Author_Institution :
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
Keywords :
data privacy; information theory; security of data; Selective Interleaving Functions framework; data confidentiality; event systems; high level users; information flow; information theory; low level event sequence; low level users; partial ordering; possibilistic security properties; security predicate; Communication system security; Computer security; Information security; Interleaved codes; Laboratories;
Conference_Titel :
Security and Privacy, 1997. Proceedings., 1997 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-7828-3
DOI :
10.1109/SECPRI.1997.601322
