Title :
A lattice of information
Author :
Land, Jaisook ; Redmond, Timothy
Author_Institution :
Trusted Inf. Syst., Glenwood, MD, USA
Abstract :
A framework is given for describing information and information flow. The authors show that information can be represented as a lattice. They motivate the idea that this framework is applicable for demonstrating security properties of systems. In particular, they show the relationship between the lattice representing information and the unwinding theorem. They also demonstrate the relationship between properties of this lattice and the aggregation problem
Keywords :
information theory; query processing; security of data; aggregation problem; information flow; lattice; security properties; unwinding theorem; Data mining; Databases; Information security; Information systems; Labeling; Lattices; State-space methods; Time of arrival estimation;
Conference_Titel :
Computer Security Foundations Workshop VI, 1993. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-3950-4
DOI :
10.1109/CSFW.1993.246638
