From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Thu, 28 Mar 2002 15:28:53 +0100 From: Tom To: SeLinux@tycho.nsa.gov Subject: Re: Java intragration Message-ID: <20020328152853.A19867@lemuria.org> References: <20020328062854.11444.qmail@web14608.mail.yahoo.com> <20020328092119.A17199@lemuria.org> <20020328135414.3C93F2799D@lyta.coker.com.au> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii In-Reply-To: <20020328135414.3C93F2799D@lyta.coker.com.au>; from russell@coker.com.au on Thu, Mar 28, 2002 at 02:54:13PM +0100 Sender: owner-selinux@tycho.nsa.gov List-Id: selinux@tycho.nsa.gov On Thu, Mar 28, 2002 at 02:54:13PM +0100, Russell Coker wrote: > > I'd be careful with "known to be secure". AFAIK there's *one* computer > > system on this planet that is known to be secure. For everything else, > > we assume. > > What is this one computer? AFAIK there is an A1 system in cheyenne mountains that was mathematically proved to be correct, i.e. "secure" as defined in the specs. -- http://web.lemuria.org/pubkey.html pub 1024D/D88D35A6 2001-11-14 Tom Vogt Key fingerprint = 276B B7BB E4D8 FCCE DB8F F965 310B 811A D88D 35A6 -- You have received this message because you are subscribed to the selinux list. If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with the words "unsubscribe selinux" without quotes as the message.