head 1.11; access; symbols; locks; strict; comment @# @; 1.11 date 2006.02.13.14.26.31; author rwatson; state dead; branches; next 1.10; 1.10 date 2003.08.01.17.19.56; author chris; state Exp; branches; next 1.9; 1.9 date 2002.12.19.07.20.45; author chris; state Exp; branches; next 1.8; 1.8 date 2002.07.18.19.44.12; author chris; state Exp; branches; next 1.7; 1.7 date 2002.07.16.18.43.53; author chris; state Exp; branches; next 1.6; 1.6 date 2002.07.08.13.36.05; author chris; state Exp; branches; next 1.5; 1.5 date 2002.05.22.11.49.54; author rwatson; state Exp; branches; next 1.4; 1.4 date 2002.05.22.11.48.29; author rwatson; state Exp; branches; next 1.3; 1.3 date 2002.05.22.11.47.38; author rwatson; state Exp; branches; next 1.2; 1.2 date 2002.05.02.22.23.43; author chris; state Exp; branches; next 1.1; 1.1 date 2002.05.02.00.31.14; author chris; state Exp; branches; next ; desc @@ 1.11 log @Remove TrustedBSD web page from CVS -- it's now being maintained in P4 so that non-committers can help maintain it. The new path is: //depot/projects/trustedbsd/www/... @ text @ Documentation
Documentation

One feature of trusted operating systems is that their security architecture must be well-documented so that it may be analyzed for weaknesses. TrustedBSD fills this role by having an open and freely available source base, as well as extensive design documentation that will be coming online as features mature.

Title
Author ,
Location ()
Abstract
Implementation Papers

Design white papers provide easy access to the overall design and architecture of the TrustedBSD operating system. While they do not provide in-depth implementation coverage, they can be of interest to those who are new to FreeBSD, TrustedBSD, or trusted operating systems, as well as developers.

Implementation papers are intended to provide detailed technical documentation of work in progress, including design and evaluation information.

Title
Author ,
Venue , , ,
Download ,
Abstract
@ 1.10 log @o Explicitly set GLOBAL_XML to sidebar.xml o Split documentation up between Implementation Papers and Documentation. o Update sidebar.xml to reflect the new sections. o Sort implementation papers by date; make sure, then, that new entries include a role= and date= attribute. @ text @d32 1 a32 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.9 2002/12/19 07:20:45 chris Exp $ @ 1.9 log @Add a few new documents to the Docs listing. This made obvious the need for a more robust stylesheet (done). Sponsored by: DARPA, Network Associates Laboratories Submitted by: rwatson (new docs list entries) @ text @d32 1 a32 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.8 2002/07/18 19:44:12 chris Exp $ d49 1 a49 1
d60 68 a136 5
Implementation Papers a137 1 d140 1 a140 1 d142 50 a191 14 Title Author d193 16 a208 2 d210 2 a211 17
Venue , , , a212 32 Download , Abstract
@ 1.8 log @o The previous bug fix just introduced another bug. Fix things properly this time. o Use one big table instead of a couple smaller ones to keep things lined up. Sponsored by: DARPA, NAI Labs @ text @d6 4 a9 4 Costello at Safeport Network Services and NAI Labs, the Security Research Division of Network Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the DARPA CHATS research program. a18 3 3. The names of the authors may not be used to endorse or promote products derived from this software without specific prior written permission. d32 1 a32 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.7 2002/07/16 18:43:53 chris Exp $ d81 1 a81 1 Title d86 14 a99 4 Author d103 13 a115 11 Venue , , , d118 1 a118 1 Download d135 1 a135 1 Abstract d140 6 a145 1 @ 1.7 log @Fix another bug where incorrect tags wound up in the HTML output. Sponsored by: DARPA, NAI Labs @ text @d35 1 a35 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.6 2002/07/08 13:36:05 chris Exp $ d79 3 a81 2 d83 8 a90 9 d96 39 a134 38 a135 1 @ 1.6 log @Write stylesheet hooks for downloading copies of papers. Link in the BSDCon 2000 and FREENIX 2001 papers to the Docs listing. Sponsored by: DARPA, NAI Labs @ text @d35 1 a35 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.5 2002/05/22 11:49:54 rwatson Exp $ d131 1 a131 1 @ 1.5 log @Layout changes for references: no comma after author name (it's in a table), and use Venue instead of Audience. @ text @d35 1 a35 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.4 2002/05/22 11:48:29 rwatson Exp $ d105 17 @ 1.4 log @Promise more papers as the implementation matures, rather than over the next few months. @ text @d35 1 a35 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.3 2002/05/22 11:47:38 rwatson Exp $ d90 1 a90 1 @ 1.3 log @Whitespace/linewrap changes before I get into modifying the text. @ text @d35 1 a35 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.2 2002/05/02 22:23:43 chris Exp $ d61 1 a61 1 over the next few months.

@ 1.2 log @o Mark up CVS metadata using the `' namespace used in the FreeBSD Web site. o Include the CVS ID tag in HTML output. Sponsored by: DARPA, NAI Labs @ text @d35 1 a35 1 $FreeBSD: projects/trustedbsd/www/bib-stylesheet.xsl,v 1.1 2002/05/02 00:31:14 chris Exp $ d56 16 a71 15

One feature of trusted operating systems is that their security architecture must be well-documented so that it may be analyzed for weaknesses. TrustedBSD fills this role by having an open and freely available source base, as well as extensive design documentation that will be coming online over the next few months.

Design white papers provide easy access to the overall design and architecture of the TrustedBSD operating system. While they do not provide in-depth implementation coverage, they can be of interest to those who are new to FreeBSD, TrustedBSD, or trusted operating systems, as well as developers.

Implementation papers are intended to provide detailed technical documentation of work in progress, including design and evaluation information.

@ 1.1 log @Welcome the TrustedBSD Web site code. This is being kept here because it is the best place for FreeBSD Doc. Project people to have access to it, and because it can be easily mirrored. It fulfills the requirement that it is directly related to FreeBSD. Sponsored by: DARPA, NAI Labs Obtained from: TrustedBSD Project @ text @d35 1 a35 1 $FreeBSD$ d38 2 a39 1 d45 6 @
Title
Author d93 2 a94 2
Venue , , ,
Download ,
Abstract
, d97 1 a97 1 Audience