Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!bonnie!akgua!sdcsvax!sdcrdcf!hplabs!hao!seismo!brl-tgr!tgr!boyle@ANL-MCS.ARPA
From: boyle@brl-tgr.ARPA
Newsgroups: net.unix-wizards
Subject: Re: Unix (In)Security
Message-ID: <6492@brl-tgr.ARPA>
Date: Sat, 8-Dec-84 06:53:30 EST
Article-I.D.: brl-tgr.6492
Posted: Sat Dec  8 06:53:30 1984
Date-Received: Mon, 10-Dec-84 02:48:38 EST
Sender: news@brl-tgr.ARPA
Organization: Ballistic Research Lab
Lines: 10

Derek Andrew at U of Saskatchewan says:

    Another comment made by the speaker was that there have been 5 attempts
    at generating secure Unix kernels.  All attempts have not been successful
    and 4 have been aborted.  

The second sentence means "there exists an attempt that has not been
successful".  Does that mean that some attempts were successful?  Or
did he mean to say "No attempt has been successful"?
			Jim Boyle