Comparison

• Trust in the object code:

  • Limbo and O’Caml: cryptographic signature of trusted authority
  • Java: verification of object code

Previous slide

Next slide

Back to first slide

View graphic version