> On Tue, 28 Nov 1995, Marcus J. Ranum wrote:
> > They've added an implementation of DTE based on work they
> > have done on A1 systems**** into a "hardened" version of BSDI.
> I've been curious about this for a while. The Byte magazine article on
> Sidewinder mentioned A-1 technology, but Sidewinder, or its modified
> version of BSDI kernal it sits on is not "A-1".
> Besides Boing's secure network, Gemini Computer's GEMSOS kernal, and of
> course the original Honeywell Multics, what other "A-1" systems are out
> there to gain experiance on?
SCOMP got an A1 rating.
Also, in July Rick Smith wrote on this list:
RS> The Boeing SNS LAN system also got an A1, tho' it was more of a TNI
RS> evaluation, I believe. BLACKER got an under-the-table A1 (not
RS> formally listed since it wasn't a commercial product). There are
RS> still a couple of other A1s or A1 wannabes: the Gemini is somewhere in
RS> the A1 process, and I've forgotten whether they made it out or not.
RS> DEC dropped their A1 Vax project years ago. LOCK metamorphosed into
RS> the MISSI SNS, which is built to A1-like requirements though (like
RS> BLACKER) it's not going thru a commercial OB evaluation.
Sidewinder uses the priciples developed for LOCK and the MISSI SNS.
Some of SCC's formal assurance people are involved with Sidewinder,
but we do not have the same level of rigor that is applied to the
assurance of SNS.
historical tidbit: SCC is a spinoff of Honeywell's Secure
Computing Technology Center.
Ted Stockwell, stockwel @