From owner-freebsd-hackers Mon Oct 13 13:47:56 1997 Return-Path: Received: (from root@localhost) by hub.freebsd.org (8.8.7/8.8.7) id NAA22047 for hackers-outgoing; Mon, 13 Oct 1997 13:47:56 -0700 (PDT) (envelope-from owner-freebsd-hackers) Received: from shell.firehouse.net (brian@shell.firehouse.net [209.42.203.45]) by hub.freebsd.org (8.8.7/8.8.7) with ESMTP id NAA22027 for ; Mon, 13 Oct 1997 13:47:50 -0700 (PDT) (envelope-from brian@shell.firehouse.net) Received: from localhost (brian@localhost) by shell.firehouse.net (8.8.5/8.8.5) with SMTP id QAA24122; Mon, 13 Oct 1997 16:47:36 -0400 (EDT) Date: Mon, 13 Oct 1997 16:47:31 -0400 (EDT) From: Brian Mitchell To: jbryant@tfs.net cc: freebsd-hackers@FreeBSD.ORG Subject: Re: C2 Trusted FreeBSD? In-Reply-To: <199710131911.OAA01678@argus.tfs.net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-freebsd-hackers@FreeBSD.ORG X-Loop: FreeBSD.org Precedence: bulk On Mon, 13 Oct 1997, Jim Bryant wrote: > > B2? Who? As for B1, there are plenty of choices. I know argus sold a B1 > > solaris for a long time, and still does - I believe. There is trusted > > solaris, trusted irix, trusted xenix, trusted vms, a trusted digital unix, > > etc > > > > I believe trusted computer solutions has a unrated CMW machine too. Wang > > sells a unix-ish b3 rated product. Plenty of choices :) > > commercial b3??? > > i didn't even know about a commercial b3... wangfed (http://www.wangfed.com) sells xts300, which is b3. tis (http://www.tis.com) sells trusted xenix which is b2. TIS was also working on a trusted mach, which was aimed at b3, but that project has apparently been cancelled. http://www.radium.ncsc.mil/tpep/epl/index.html The trusted xenix final eval report is online. The xts300 one is not, but hopefully that will eventually change.