comp.lang.ada
 help / color / mirror / Atom feed
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: How unchecked conversion works?
Date: 16 Jan 2005 10:14:22 -0600
Date: 2005-01-16T10:14:22-06:00	[thread overview]
Message-ID: <qUMSIakyEq1d@eisner.encompasserve.org> (raw)
In-Reply-To: gemini.iadaz7002y97g02bc.nick.roberts@acm.org

In article <gemini.iadaz7002y97g02bc.nick.roberts@acm.org>, Nick Roberts <nick.roberts@acm.org> writes:
> Kilgallen@SpamCop.net (Larry Kilgallen) wrote:
> 
>> No security environment was specified, so I shall presume something that
>> can be evaluated at the current equivalent of "A1" is required.
> 
> As I understand it, ther is no system in existence certified to A1.

I remember that the Honeywell SCOMP was evaluated at the A1 level.

I presume your requirement was not that it also be a system that
is still sold, or made a profit when it was being sold :-)

But http://www.dynamoo.com/orange/summary.htm lists two others.



  reply	other threads:[~2005-01-16 16:14 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-01-13 18:54 How unchecked conversion works? None
2005-01-13 21:22 ` Frank J. Lhota
2005-01-13 22:28 ` Keith Thompson
2005-01-14  0:17   ` Larry Kilgallen
2005-01-14 15:23 ` None
2005-01-14 15:55   ` Marius Amado Alves
2005-01-14 22:29     ` Keith Thompson
2005-01-14 23:15       ` Marius Amado Alves
2005-01-15  1:27         ` Keith Thompson
2005-01-15  2:15         ` Larry Kilgallen
2005-01-15 10:24           ` Marius Amado Alves
2005-01-15 12:02             ` Larry Kilgallen
2005-01-15 16:54               ` Nick Roberts
2005-01-16 16:14                 ` Larry Kilgallen [this message]
2005-01-16 16:41                   ` Jeffrey Carter
2005-01-16 20:52                     ` TCSEC security levels [was: How unchecked conversion works?] Nick Roberts
2005-01-17 15:57                       ` Larry Kilgallen
2005-01-17  0:34                     ` How unchecked conversion works? Larry Kilgallen
2005-01-17  1:29                       ` Jeffrey Carter
2005-01-17  4:20                         ` Larry Kilgallen
2005-01-15 18:24             ` Jeffrey Carter
2005-01-14 16:52   ` Mark H Johnson
2005-01-14 22:27     ` Keith Thompson
2005-01-14 22:49   ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox