documentation for existing systems

[Robert Watson]

Another great source of trusted system documentation is the TCSEC
evaluation documents for evaluated products on radium.  These documents
are extensive, and needless to say, address all the documentation
requirements of the various certification levels.  For example, the
Trusted Xenix B2 documentation is available there. 

BTW, Elias Levy has been building a list of Trusted OS paper list on the
securityfocus.com library, which now includes links to the various TCSEC
documents, as well as the Trusted Mach papers. 

  Robert N M Watson 

robert at fledge.watson.org              http://www.watson.org/~robert/
PGP key fingerprint: AF B5 5F FF A6 4A 79 37  ED 5F 55 E9 58 04 6A B1
TIS Labs at Network Associates, Safeport Network Services

To Unsubscribe: send mail to majordomo at trustedbsd.org
with "unsubscribe trustedbsd-discuss" in the body of the message