The UC Davis Security Archives Project ------------------------------------- All papers are stored in Adobe's PDF (Portable Document Format). You need a PDF reader to read them. You can get one free of charge at Adobe's web site, http://www.adobe.com; click on the icon there marked "Get Acrobat Reader." (We highly recommend the one with search abilities.) The documents were produced with Adobe Acrobat version 3.0. If you have a web browser, you can use it to access the papers. Point your browser to the file index.html in this directory. Files ----- Overview.pdf overview of the project Papers.pdf overview of the papers (searchable) README.txt this file ande72.pdf Anderson, "Computer Security Technology Planning Study" (1972) ande80.pdf Anderson, "Computer Security Threat Monitoring and Surveillance" (1980) bell76.pdf Bell, LaPadula, "Secure Computer System: Unified Exposition and Multics Interpretation" (1975) bisb78.pdf Bisbey, Hollingsworth, "Protection Analysis: Final Report" (1978) dod85.pdf "Trusted Computer System Evaluation Criteria" (1985) ford78.pdf "Secure Minicomputer Operating System (KSOS): Executive Summary (1978) index.htm HTML file containing Papers.pdf and Overview.pdf in a format for web browsers karg74.pdf Karger, Schell, "MULTICS Security Evaluation: Vulnerability Analysis" (1974) lind76.pdf Linden, "Operating System Structures to Support Security and Reliable Software" (1976) myer80.pdf Myers, "Subversion: The Neglected Aspect of Computer Security" (1980). niba79.pdf Nibaldi, "Proposed Technical Evaluation Criteria for Trusted Computer Systems" (1979) scha75.pdf Schacht, "Jobstream Separator System Design" (1975) sche73.pdf Schell, Downey, Popek, "Preliminary Notes on the Design of Secure Military Computer Systems" (1973) schi75.pdf Schiller, "The Design and Specification of a Security Kernel for the PDP-11/45" (1975) seal.gif UC Davis seal (image file) top.gif Divider for web page (image file) ware70.pdf Ware, "Security Controls for Computer Systems (U): Report of Defense Science Board Task Force on Computer Security" (1970) whit74.pdf Whitmore, Bensoussan, Green, Hunt, Robziar, Stern, "Design for MULTICS Security Enhancements" (1973) For More Information -------------------- Matt Bishop Associate Professor Computer Security Laboratory Department of Computer Science University of California at Davis One Shields Avenue Davis, CA 95616-8562 United States of America email: secarchive@cs.ucdavis.edu