Proof-carrying code (PCC) is a general methodology for certifying that the execution of a
untrusted mobile code is safe. The basic idea is that the code supplier attaches a certificate
to the mobile code which the consumer checks in order to ensure that the code is indeed
safe. The potential benefit is that the consumer's task is reduced from the level of proving to
the level of checking. Recently, the abstract interpretation techniques developed in logic
programming have been proposed as a basis for PCC. This extended abstract reports on …

Proof carrying code (PCC) is a general is originally a roof in ñrst-order logic of certain
vermethodology for certifying that the execution of an un-ification onditions and the checking
process involves trusted mobile code is safe. The baste idea is that the ensuring that the
certifícate is indeed a valid ñrst-order code supplier attaches a certifícate to the mobile code
proof. which the consumer checks in order to ensure that the The main practical difñculty of
PCC techniques is in code is indeed safe. The potential benefit is that the generating safety …