| 
|
Quote: with Java, new code starts untrusted, becomes verified, then transformed into machine code by a trusted compiler
Topic:
trust
Topic:
security of remotely executed code
Topic:
type-safe and secure languages
Quotation Skeleton
[J. Gosling] [With a virtual machine like Java] You can go through some kind … … It's just that there's a transitive nature of … an analysis by the Verifier to prove various … you can trust. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: trust (21 items)
Topic: security of remotely executed code (24 items)
Topic: type-safe and secure languages (43 items)