-Original Message-
From: Ted Faber [mailto:[EMAIL PROTECTED]]
Sent: Wednesday, October 09, 2002 10:59 PM
To: Terry Lambert
Cc: Nelson, Trent .; '[EMAIL PROTECTED]'; '[EMAIL PROTECTED]'
Subject: Re: FreeBSD usage in safety-critical environments
On Wed, Oct 09, 2002 at 12:26:14PM
]'
[EMAIL PROTECTED]
Sent: Thursday, October 10, 2002 11:48 AM
Subject: RE: FreeBSD usage in safety-critical environments
-Original Message-
From: Ted Faber [mailto:[EMAIL PROTECTED]]
Sent: Wednesday, October 09, 2002 10:59 PM
To: Terry Lambert
Cc: Nelson, Trent .; '[EMAIL
Could you please pick up some URLs with description of all security levels
(C-2 and so on) - how to get, who is going on it and so on.
Thanks in advance.
I read the O'Reilly book Computer Security Basics by D. Russell and
G.T. Gangemi sr. The book is ten years old and a great deal is
outdated,
Nelson, Trent . wrote:
Oh, and Terry, I think you'd be astonished if I informed you of how
many rail control systems in the US and around the world use either Linux or
some of the commercial variants such as Tru64 UNIX or Solaris.
I rather think they run Solaris.
Earlier in my career
On Wed, 9 Oct 2002, Terry Lambert wrote:
Roman V. Mashak wrote:
On Wed, Oct 09, 2002 at 01:07:43PM -0400, Steve Kudlak wrote:
project and mucking with the low grade in my opinion C-2 security
that Sun OSes had and finding bugs in things like FTP logging and
the like. I now do other
Nelson, Trent . wrote:
[Please include me directly as I'm not on the list]
Hi,
Has anyone had any experience with deploying FreeBSD in
safety-critical environments? Has any work been done attempting to certify
FreeBSD to any particular SIL? Is there any intention to do such a
Nelson, Trent . wrote:
Has anyone had any experience with deploying FreeBSD in
safety-critical environments? Has any work been done attempting to certify
FreeBSD to any particular SIL? Is there any intention to do such a thing?
If not FreeBSD, I'd be interested to hear if
On Wed, Oct 09, 2002 at 12:26:14PM -0700, Terry Lambert wrote:
Life support systems require formal proofs of correctness for code;
since neither Linux nor FreeBSD is formally correct, in total, you
would need to be insane to deplaoy either of them as, for example,
a part of an air traffic
On Wed, Oct 09, 2002 at 01:07:43PM -0400, Steve Kudlak wrote:
project and mucking with the low grade in my opinion C-2 security
that Sun OSes had and finding bugs in things like FTP logging and
the like. I now do other things so I don't worry about that. :) But it
is an interesting issue. I