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.
"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 ca
>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
outda
" <[EMAIL PROTECTED]>; "'[EMAIL PROTECTED]'"
<[EMAIL PROTECTED]>; "'[EMAIL PROTECTED]'"
<[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 PROTECTED]'; '[EMAIL PROTECTED]'
> Subject: Re: FreeBSD usage in safety-critical enviro
"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 things so I don't worry about that. :
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 issu
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
Steve Kudlak wrote:
> Well I don't know if this belongs on questions or hackers but the
> question has enough technical merit to be interesting. For example
> to what level has BSD been certified. I remember doing this consulting
> project and mucking with the "low grade" in my opinion C-2 securi
"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 he
"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
[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 thing?
If not FreeBSD,
12 matches
Mail list logo