Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site axiom.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxj!houxm!vax135!cornell!uw-beaver!tektronix!decvax!linus!axiom!smk
From: smk@axiom.UUCP (Steven M. Kramer)
Newsgroups: net.unix-wizards
Subject: Re: Re:  Unix (In)Security
Message-ID: <18@axiom.UUCP>
Date: Sat, 19-Jan-85 15:04:50 EST
Article-I.D.: axiom.18
Posted: Sat Jan 19 15:04:50 1985
Date-Received: Fri, 25-Jan-85 07:38:06 EST
References: <7221@brl-tgr.ARPA> <118@anasazi.UUCP>
Organization: Axiom Technology, Newton MA
Lines: 11

Just to clarify the Larry's discussion on the SCOMP -- it is beging evaluated
for A1 (formally verified specs) by NSA.  A2 means code verification and
to my knowledge is beyond the state of the art.

Also, just because we don't hear of breakins to OS's doesn't mean they don't
happen.  Would your local bank advertise such facts with no other reason but
to just say, "Oops, it happened to us!"  Would the US Intelligence community!!?!
-- 
	--steve kramer
	{allegra,genrad,ihnp4,utzoo,philabs,uw-beaver}!linus!axiom!smk	(UUCP)
	linus!axiom!smk@mitre-bedford					(MIL)