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...
Saved in:
Published in | [1993] Proceedings Computer Security Foundations Workshop VI pp. 65 - 70 |
---|---|
Main Authors | , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE Comput. Soc. Press
1993
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |