Information transmission in computational systems

Proceedings of the 6th ACM Symposium on Operating Systems Principles, SOSP 1977

Volumn , Issue , 1977, Pages 133-139

  Cohen, Ellis ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY;

COMPUTATIONAL SYSTEM; INDUCTIVE TECHNIQUE; INFORMATION TRANSMISSION; INFORMATION-THEORETIC APPROACH;

DATA COMMUNICATION SYSTEMS;

EID: 84976675687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800214.806556     Document Type: Conference Paper

References (12)

1. W. Ashby. "An Introduction to Cybernetics", 1956.
2. E. Cohen. "Strong Dependency: A Formalism for Describing Information Transmission in Computational Systems", Carnegie-Mellon Univ., Comp. Sci. Tech. Report, August 1976.
3. E. Cohen. "Information Transmission in Sequential Programs", Submitted for publication 1977.
4. E. Cohen, D. Jefferson. "Protection in the HYDRA Operating System", Proc. 5th Symp. on Operating Systems Principles, November 1975.
5. D. Denning, "Secure Information Flow in Computer Systems", Ph.D. Thesis, Comp. Sci. Dept., Purdue Univ., May 1975.
6. D. Denning, "A Lattice Model of Secure Information Flow", CACM v. 19, 5, (May 1976).
7. D. Denning, P. Denning, "Certification of Programs for Secure Information Flow", Purdue Univ., CSD-TR 181, March 1976.
8. A. Jones, R. Lipton. "The Enforcement of Security Policies for Computations", Proc. 5th Symp. on Operating Systems Principles, November 1975.
9. B. Lampson. "A Note on the Confinement Problem", CACM v. 16, 10 (October 1973).
10. J. Millen. "Security Kernal Validation in Practice", CACM v. 19, 5 (May 1976).
11. L. Rotenberg. "Making Computers Keep Secrets", Ph.D. Thesis MIT, MAC-TR-116, September 1973.
12. K. Walters, et al. "Structural Specification of a Security Kernel", 1975 Intl. Conf. on Reliable Software, April 1975o