Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Reduced Certificates for Abstraction-Carrying Code
 

Summary: Reduced Certificates for
Abstraction-Carrying Code
Elvira Albert1
, Puri Arenas1
, Germ´an Puebla2
, and Manuel Hermenegildo2,3
1
Complutense University of Madrid, {elvira,puri}@sip.ucm.es
2
Technical University of Madrid, {german,herme}@fi.upm.es
3
University of New Mexico, herme@unm.edu
Abstract. Abstraction-Carrying Code (ACC) has recently been pro-
posed as a framework for mobile code safety in which the code supplier
provides a program together with an abstraction whose validity entails
compliance with a predefined safety policy. The abstraction plays thus
the role of safety certificate and its generation is carried out automat-
ically by a fixed-point analyzer. The advantage of providing a (fixed-
point) abstraction to the code consumer is that its validity is checked in
a single pass of an abstract interpretation-based checker. A main chal-

  

Source: Arenas, Puri - Facultad de Informática, Universidad Politécnica de Madrid

 

Collections: Computer Technologies and Information Sciences