A lattice of information

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 la...

Full description

Saved in:
Bibliographic Details
Published in[1993] Proceedings Computer Security Foundations Workshop VI pp. 65 - 70
Main Authors Landauer, J., Redmond, T.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1993
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary: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.< >
ISBN:9780818639500
0818639504
DOI:10.1109/CSFW.1993.246638