From: Simon Spero <ses@tipper.oit.unc.edu>
Date: Tue, 26 Mar 1996 08:42:44 +0800
To: Paul_Koning/US/3Com%3COM@smtp1.isd.3com.com
Subject: Re: RISKS: Princeton discovers another Netscape security flaw
In-Reply-To: <9603251947.AA0350@smtp1.chipcom.com>
Message-ID: <Pine.SOL.3.91.960325113048.28515B-100000@chivalry>
MIME-Version: 1.0
Content-Type: text/plain


On 25 Mar 1996 Paul_Koning/US/3Com%3COM@smtp1.isd.3com.com wrote:

> The job of doing something like what Java claims to do correctly
> is basically equivalent to the job of creating an A2 grade operating
> system. 

I'm not totally convinced that creating an A* implementation of the java 
VM is impossible; the vm instructions are simple enough to define the 
necessary abstract interpretations over, and denotational semantics 
of,with a reasonable degree of confidence. 

I'd definitely rather right a trusted application in java than in C 

Simon
---
They say in  online country             So which side are you on boys
There is no middle way                  Which side are you on
You'll either be a Usenet man           Which side are you on boys
Or a thug for the CDA                   Which side are you on?
  National Union of Computer Operatives; Hackers, local 37   APL-CPIO