Scomp: A Solution to the Multilevel Security Problem

Computer

Volumn 16, Issue 7, 1983, Pages 26-34

  Fraim, Lester J ^a  

^a HONEYWELL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING;

EID: 0020778471     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.1983.1654440     Document Type: Article

References (11)

1. Honeywell Multics Distributed Processing System, Summary Overview, tech. report DL92, Honeywell Information Systems, Waltham, Mass., 1982.
2. G. J. Popek, “UCLA Secure UNIX,” AFIPS Conf. Proc., Vol. 48, 1979 NCC, AFIPS Press, Montvale, N.J., 1979, pp. 355-364.
3. E. J. McCauley and P. J. Drongowski, “KSOS–The Design of a Secure Operating System,” AFIPS Conf. Proc., Vol. 48, 1979 NCC, AFIPS Press, Montvale, N.J., 1979, pp. 345-353.
4. “Panel Session–Kernel Performance Issues,” Proc. Symp. Security and Privacy, IEEE Cat. No. 81CH1629-5, Oakland, Calif., 1981, pp. 162-178.
5. J. P. L. Woodward, “Applications for Multilevel Secure Operating Systems,” AFIPS Conf. Proc., Vol. 48, 1979 NCC, AFIPS Press, Montvale, N.J., 1979, pp. 319-328.
6. M. D. Schroeder and J. H. Saltzer, “A Hardware Architecture for Implementing Protection Rings,” Comm. ACM, Vol. 15, No. 3, Mar. 1972, pp. 157-170.
7. M. H. Cheheyl et al., “Verifying Security,” ACM Computing Surveys, Vol. 13, No. 3, Sept. 1981, pp. 279-339.
8. D. E. Bell and L. J. Lapadula, Secure Computer Systems: Mathematical Foundations and Model, tech. report M74-224, The Mitre Corporation, Bedford, Mass., Oct. 1974.
9. D. B. Gold et al., “A Security Retrofit of VM/370,” AFIPS Conf. Proc., Vol. 48, 1979 NCC, AFIPS Press, Montvale, N.J., 1979, pp. 335-344.
10. E. Walton, The UCLA Pascal Translation System, tech. report, UCLA Computer Science Department, Jan. 1976.
11. Proc. Fourth Seminar DoD Computer Security Initiative Program, National Bureau of Standards, Gaithersburg, Md., Aug. 1981, Section U.