Abstraction carrying code and resource-awareness

Conference object English OPEN
Hermenegildo, Manuel V.; Albert Albiol, Elvira; López García, Pedro; Puebla Sánchez, Alvaro Germán;
(2005)
  • Publisher: Facultad de Informática (UPM)
  • Subject: Informática
    acm: TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

Proof-Carrying Code (PCC) is a general approach to mobile code safety in which the code supplier augments the program with a certifícate (or proof). The intended benefit is that the program consumer can locally validate the certifícate w.r.t. the "untrusted" program ... View more
Share - Bookmark