harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Bob <citi...@earthlink.net>
Subject Re: Java Security for Harmony
Date Thu, 12 May 2005 01:38:05 GMT
> Ben> Also, curious to know - what about out-of-band verifiers? So, for
> Ben> example, I verify something on my PC, sign it as verified, then 
> run it
> Ben> on a Palm, with no verification?
> My understanding was that there is a new kind of "split verification",
> where a pre-verifier (or the compiler itself) emits type tables as
> attributes in the bytecode.

I believe it's known as "Proof Carrying Code" in the literature.  The 
compiler provides a "proof" that the code is "good", and then the JVM 
merely has to verify the proof, rather than constructing it from 

View raw message