Information transmission in computational systems
- 1 November 1977
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 11 (5) , 133-139
- https://doi.org/10.1145/1067625.806556
Abstract
This paper presents Strong Dependency, a formalism based on an information theoretic approach to information transmission in computational systems. Using the formalism, we show how the imposition of initial constraints reduces variety in a system, eliminating undesirable information paths. In this way, protection problems, such as the Confinement Problem, may be solved. A variety of inductive techniques are developed useful for proving that such solutions are correct.Keywords
This publication has 7 references indexed in Scilit:
- A lattice model of secure information flowCommunications of the ACM, 1976
- Security Kernel validation in practiceCommunications of the ACM, 1976
- The enforcement of security policies for computationPublished by Association for Computing Machinery (ACM) ,1975
- Structured specification of a Security KernelPublished by Association for Computing Machinery (ACM) ,1975
- Protection in the Hydra Operating SystemPublished by Association for Computing Machinery (ACM) ,1975
- A note on the confinement problemCommunications of the ACM, 1973
- An introduction to cyberneticsPublished by Biodiversity Heritage Library ,1956