A Hookup Theorem for Multilevel Security

IEEE Transactions on Software Engineering

Volumn 16, Issue 6, 1990, Pages 563-568

  Mc Cullough, Daryl ^a  

^a ARCHITECTURE TECHNOLOGY CORPORATION   (United States)

Author keywords

Composable; information; process; security

Indexed keywords

COMPUTER SOFTWARE--SOFTWARE ENGINEERING;

HOOKUP PROPERTY; INFERENCE CONTROL; MULTILEVEL SECURITY; SECURE RESTRICTIVE SYSTEMS; TROJAN HORSE PROGRAMS;

DATA PROCESSING;

EID: 0025438880     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.55085     Document Type: Article

References (9)

1. D. E. Bell and L. J. LaPadula, “Secure computer system: Unified exposition and multics interpretation,” Electron. Syst. Division, AFSC, Hanscom AF Base, Bedford, MA, Tech. Rep. ESD-TR-75-306, 1976.
2. J. A. Goguen and J. Meseguer, “Security policies and security models,” in Proc. 1982 IEEE Symp. Security and Privacy.
3. —, “Unwinding and inference control,” in Proc. 1984 IEEE Symp. Security and Privacy.
4. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985.
5. D. McCullough, “Foundations of Ulysses: The theory of security,” Odyssey Research Associates, Ithaca, NY, Tech. Rep., 1988.
6. —, “Specifications for multilevel security and a hookup property,” in Proc. 1987 IEEE Symp. Security and Privacy.
7. —, “Covert channels and degrees of insecurity,” in Proc. 1988 Franconia Computer Security Foundations Workshop: The Mitre Corporation.
8. R. A. Milner, A Calculus of Communicating Systems (Lecture Notes Comput. Sci., Vol. 92). New York: Springer, 1980.
9. D. Sutherland, “A model of information,” in Proc. 9th Nat. Comput. Security Conf., 1986.