SPARTA Logo

Bibliography

ABR90
M. D. Abrams, K. W. Eggers, L. J. La Padula, and I. M. Olson, "Generalized Framework for Access Control, and Informal Description," Proceedings of the 13th National Computer Security Conference, October 1992.
AND72
J. P. Anderson, "Computer Security Technology Planning Study," ESD-TR-73-51, Vol I, AD-758 206, ESD/AFSC, Hanscom AFB, Bedford, MA, 1972.
BAD96
Badger, L. et. al. "A Domain and Type Enforcement UNIX Prototype," USENIX Computing Systems, vol. 9 no. 1, Winter, 1996.
BEL73
D. E. Bell and L. J. La Padula, "Secure Computer Systems: Mathematical Foundations and Model", The MITRE Corporation, report # M74-244, may, 1973.
BER
D. Bernstein, "SYN Cookies," http://cr.yp.to/syncookies.html
BIB77
K. J. Biba, "Integrity Considerations for Secure Computer Systems," Electronic Systems Division, Hanscom Air Force Base, Bedford, MA, April 1977.
BOE85
W. E. Boebert and R. Y. Kain, "A Practical Alternative to Hierarchical Integrity Policies," Proceedings of the 8th National Computer Security Conference, September, 1985.
BRA99
M. Branstad, et. al. "Access Mediation in a Message Passing Kernel," Proceedings of the 1989 IEEE Symposium on Security and Privacy, May, 1989.
CLA87
D. D. Clark and D. R. Wilson, "A Comparison of Commercial and Military Computer Security Policies," Proceedings of the 1987 IEEE Symposium on Security and Privacy, April, 1987.
DOD85
US Department of Defense, "Trusted Computer Systems Evaluation Criteria," Standard, DOD 5200.28-STD, December, 1985.
DOD95
US Department of Defense, "Department of Defense (DoD) Goal Security Architecture (DGSA)," Center for Information System Security Defense Information System Security Program, September, 1995.
FER92
D. Ferraiolo and R. Kuhn, "Role-Based Access Controls," Proceedings of the 15th National Computer Security Conference, October, 1992.
FLO99
S. Floyd et. al., "A Proposal to add Explicit Congestion Notification (ECN) to IP," Request for Comments: 2481.
FRA00
T. Fraser, "LOMAC: Low Water-Mark Integrity Protection for COTS Environments," Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000 [PDF].
FSO01
FreeBSD Security Officer, "FreeBSD security advisory on ECN TCP bug," ftp://ftp.FreeBSD.org/pub/FreeBSD/CERT/advisories/FreeBSD-SA-01:08.ipfw.asc .
IEEE97
Institute of Electrical and Electronics Engineers, "Draft Standard for Information Technology --- Portable Operating System Interface (POSIX) --- Part 1: System Application Program Interface (API): Protection, Audit, and Control Interfaces [C Language]", PSSG/D17, October, 1997.
LAP95
L. J. La Padula, "Rule-Set Modeling of a Trusted Computer System," Information Security - An Integrated Collection of Essays, M. D. Abrams et. al., editors, IEEE Computer Society Press, 1995.
LOS00
P. Loscocco and S. Smalley, "Integrating Flexible Support for Security Policies into the Linux Operating System," NSA Technical Report, http://www.nsa.gov/selinux/slinux-abs.html, October, 2000.
MOR
A. G. Morgan, "Linux-Privs", http://linux.kernel.org/pub/linux/libs/security/linux-privs.
NSA99
National Security Agency, "Labeled Security Protection Profile Version 1.b", Protection Profile, http://www.radium.ncsc.mil/tpep/library/protection_profiles, October 1999.
OSF95
Open Software Foundation, "Unified Login With Pluggable Authentication Modules (PAM)," Request For Comments: 86.0, October, 1995.
OTT97
A. Ott, "Regel-basierte Zugriffskontrolle nach dem Generalized Framework for Access Control-Ansatz am Beispiel Linux," Master's Thesis, Universitat Hamburg, Fachbereich Informatik, http://www.rsbac.org, 1997.
PCCIP97
President's Commission on Critical Infrastructure Protection, Critical Foundations - Protecting America's Infrastructures, GPO stock number 040-000-00699-1, October 1997.
SAL75
J, H. Saltzer and M. D. Schroder, "The Protection of Information in Computer Systems," Proceedings of the IEEE Vol. 63(9), September, 1975.
SAN85
R. Sandberg, et. al., "Design and Implementation of the Sun Network File System," Proceedings of the Summer USENIX Conference Proceedings, 1995.
SHA99
Shapiro, J. S. et. al., "EROS: a fast capability system." 17th ACM Symposium on Operating Systems Principles, 34(5), December, 1999.
SPE99
R. Spencer, S. Smalley, P. Loscocco, M. Hibler, D. Andersen and J. Lepreau, "The Flask Security Architecture: System Support for Diverse Security Policies," Proceedings of the 8th USENIX Security Symposium, August, 1999.
SCH
C. Schaufler, "B1 Sample Source Code," http://oss.sgi.com/projects/ob1.
SMA00
S. Smalley and T. Fraser, "A Security Policy Configuration for the Security-Enhanced Linux," NSA Technical Report, http://www.nsa.gov/selinux/policy-abs.html, October, 2000.
WAT
TrustedBSD Project, http://www.TrustedBSD.org/
WAT00
R. Watson, "Introducing Supporting Infrastructure for Trusted Operating Syustem Support in FreeBSD," Proceedings of the BSD 2000 Conference, Sept 8 2000.

webmaster@opensource.nailabs.com
$Id: bibliography.html,v 1.4 2001/07/06 23:48:08 tfraser Exp $