- CSRC Home
- Projects / Research
- news & events
Try the new CSRC.nist.gov and let us know what you think!
(Note: Beta site content may not be complete.)
Fulltext search of NIST's computer security publications:
Department of Defense, Trusted Computer System Evaluation Criteria [the "Orange Book"], DoD 5200.28-STD, National Computer Security Center, Ft. Meade, MD (Dec. 1985).
Ford Aerospace and Communications Corporation, Secure Minicomputer Operating System (KSOS) Executive Summary: Phase I: Design of the Department of Defense Kernelized Secure Operating System, WDL-781, Palo Alto, CA (Mar. 1978).
Paul A. Karger and Roger R. Schell, Multics Security Evaluation, Volume II: Vulnerability Analysis, ESD-TR-74-193, Vol. II, Electronic Systems Division, Air Force Systems Command, Hanscom Field, Bedford, MA (June 1974).
Ken Thompson, Reflections on Trusting Trust, Communications of the ACM 27(8), pp. 761-763 (Aug. 1984); Turing Award lecture.
Theodore Linden, Operating System Structures to Support Security and Reliable Software NBS Technical Note 919, Institute for Computer Sciences and Technology, National Bureau of Standards, Department of Commerce, Washington, DC (Aug. 1976).
Philip A. Myers, Subversion: The Neglected Aspect of Computer Security, Master Thesis, Naval Postgraduate School, Monterey CA (June 1980).
Peter G. Neumann, L. Robinson, Karl N. Levitt, R. S. Boyer, and A. R. Saxena, A Provably Secure Operating System Stanford Research Institute, Menlo Park, CA (June 1975).
Grace H. Nibaldi, Proposed Technical Evaluation Criteria for Trusted Computer Systems, M79-225, The MITRE Corporation, Bedford, MA (Oct. 1979).
J. M. Schacht, Jobstream Separator System Design, MTR-3022 Vol. 1, The MITRE Corporation, Bedford, MA (May 1975).
Roger R. Schell, Peter J. Downey, and Gerald J. Popek, Preliminary Notes on the Design of Secure Military Computer Systems, MCI-73-1, The MITRE Corporation, Bedford, MA (Jan. 1973).
W. L. Schiller, The Design and Specification of a Security Kernel for the PDP-11/45, MTR-2934, The MITRE Corporation, Bedford, MA (Mar. 1975).
Willis H. Ware, Security Controls for Computer Systems (U): Report of Defense Science Board Task Force on Computer Security, The RAND Corporation, Santa Monica, CA (Feb. 1970).
Jerold Whitmore, Andre Bensoussan, Paul Green, Douglas Hunt, Andrew Kobziar, and Jerry Stern, Design for Multics Security Enhancements, ESD-TR-74-176, Electronic Systems Division, Air Force Systems Command, Hanscom Field, Bedford, MA (Dec. 1973).
* For some papers, the UC Davis team also identified "related papers": those papers that "added to the topic and were either written as part of the same project or are the standard reference for the work."