eprintid: 14523
rev_number: 19
eprint_status: archive
userid: 2047
dir: disk0/00/01/45/23
datestamp: 2013-02-21 08:59:53
lastmod: 2023-02-27 12:00:23
status_changed: 2023-02-27 12:00:23
type: conference_item
metadata_visibility: show
item_issues_count: 0
creators_name: Puebla Sánchez, Alvaro Germán
creators_name: Albert Albiol, Elvira
creators_name: Arenas Sánchez, Purificación
creators_name: Hermenegildo, Manuel V.
title: On abstraction-carrying code and certificate-size reduction
ispublished: pub
subjects: informatica
abstract: Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically 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 (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make ACC useful in practice is to reduce the size of certificates as much as possible, while at the same time not increasing checking time. Intuitively, we only include in the certificate the information which the checker is unable to reproduce without iterating. We introduce the notion of reduced certifícate which characterizes the subset of the abstraction which a checker needs in order to validate (and re-construct) the full certificate in a single pass. Based on this notion, we show how to instrument a generic analysis algorithm with the necessary extensions in order to identify the information relevant to the checker.
date: 2006-03
date_type: published
publisher: Elsevier
official_url: http://www.elsevier.com/journals/electronic-notes-in-theoretical-computer-science/1571-0661#
full_text_status: public
pres_type: paper
event_title: EAAI 2006  1st International Workshop on Emerging Applications of Abstract Interpretation
event_location: Vienna, Austria
event_dates: March 26th, 2006
event_type: conference
institution: Informatica
department: Inteligencia_Artificial
refereed: TRUE
book_title: Electronic Notes in Theoretical Computer Science
rights: by-nc-nd
citation:   Puebla Sánchez, Alvaro Germán and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Hermenegildo, Manuel V.  (2006).  On abstraction-carrying code and certificate-size reduction.  In: "EAAI 2006 1st International Workshop on Emerging Applications of Abstract Interpretation", March 26th, 2006, Vienna, Austria.    
document_url: https://oa.upm.es/14523/1/HERMENE_IPT_2006-1.pdf