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