[52613] in Cypherpunks
Re: RISKS: Princeton discovers another Netscape security flaw
daemon@ATHENA.MIT.EDU (Simon Spero)
Mon Mar 25 15:06:15 1996
Date: Mon, 25 Mar 1996 11:40:58 -0800 (PST)
From: Simon Spero <ses@tipper.oit.unc.edu>
To: Paul_Koning/US/3Com%3COM@smtp1.isd.3com.com
Cc: cypherpunks@toad.com
In-Reply-To: <9603251947.AA0350@smtp1.chipcom.com>
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
