Re: FreeBSD usage in safety-critical environments

2002-10-10 Thread Robert Watson
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.

Re: FreeBSD usage in safety-critical environments

2002-10-10 Thread Terry Lambert
"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

Re: FreeBSD usage in safety-critical environments

2002-10-10 Thread Petri Riihikallio
>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

Re: FreeBSD usage in safety-critical environments

2002-10-10 Thread Jamie Heckford
" <[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 > > > >

RE: FreeBSD usage in safety-critical environments

2002-10-10 Thread Nelson, Trent .
> -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

Re: FreeBSD usage in safety-critical environments

2002-10-09 Thread Terry Lambert
"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. :

Re: FreeBSD usage in safety-critical environments

2002-10-09 Thread Roman V. Mashak
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

Re: FreeBSD usage in safety-critical environments

2002-10-09 Thread Ted Faber
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

Re: Security certification (was FreeBSD usage in safety-critical environments)

2002-10-09 Thread Terry Lambert
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

Re: FreeBSD usage in safety-critical environments

2002-10-09 Thread Terry Lambert
"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

Re: FreeBSD usage in safety-critical environments

2002-10-09 Thread Steve Kudlak
"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

FreeBSD usage in safety-critical environments

2002-10-09 Thread Nelson, Trent .
[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,