From owner-freebsd-security  Mon Oct 13 10:05:09 1997
Return-Path: <owner-freebsd-security>
Received: (from root@localhost)
          by hub.freebsd.org (8.8.7/8.8.7) id KAA07170
          for security-outgoing; Mon, 13 Oct 1997 10:05:09 -0700 (PDT)
          (envelope-from owner-freebsd-security)
Received: from rah.star-gate.com (rah.star-gate.com [204.188.121.18])
          by hub.freebsd.org (8.8.7/8.8.7) with ESMTP id KAA07157;
          Mon, 13 Oct 1997 10:05:02 -0700 (PDT)
          (envelope-from hasty@rah.star-gate.com)
Received: from rah.star-gate.com (localhost.star-gate.com [127.0.0.1])
	by rah.star-gate.com (8.8.7/8.8.5) with ESMTP id KAA00296;
	Mon, 13 Oct 1997 10:04:26 -0700 (PDT)
Message-Id: <199710131704.KAA00296@rah.star-gate.com>
To: Colman Reilly <careilly@monoid.cs.tcd.ie>
cc: Douglas Carmichael <dcarmich@mcs.com>, freebsd-hackers@FreeBSD.ORG,
        freebsd-security@FreeBSD.ORG
Subject: Re: C2 Trusted FreeBSD? 
In-reply-to: Your message of "Mon, 13 Oct 1997 11:41:09 BST."
             <199710131041.LAA08912@monoid.cs.tcd.ie> 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Mon, 13 Oct 1997 10:04:25 -0700
From: Amancio Hasty <hasty@rah.star-gate.com>
Sender: owner-freebsd-security@FreeBSD.ORG
X-Loop: FreeBSD.org
Precedence: bulk

>From The Desk Of Colman Reilly :
> The problem with that is the money that the certifaction process would
> require, of course.

So ask the goverment to pay for it or hand out the OS to a goverment
agency to certify it for you.

	Cheers,
	Amancio