Abstract interpretation-based mobile code certification

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2004). Abstract interpretation-based mobile code certification. In: "20th International Conference, ICLP 2004", September 6-10, 2004, Saint-Malo, France. ISBN 9783540226710.


Title: Abstract interpretation-based mobile code certification
  • Albert Albiol, Elvira
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 20th International Conference, ICLP 2004
Event Dates: September 6-10, 2004
Event Location: Saint-Malo, France
Title of Book: Logic Programming
Date: 2004
ISBN: 9783540226710
Volume: 3132
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_2004-3.pdf]
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (131kB) | Preview


Current approaches to mobile code safety – inspired by the technique of Proof-Carrying Code (PCC) [4] – associate safety information (in the form of a certificate) to programs. The certificate (or proof) is created by the code supplier at compile time, and packaged along with the untrusted code. The consumer who receives the code+certificate package can then run a checker which, by a straightforward inspection of the code and the certificate, is able to verify the validity of the certificate and thus compliance with the safety policy. The main practical difficulty of PCC techniques is in generating safety certificates which at the same time: i) allow expressing interesting safety properties, ii) can be generated automatically and, iii) are easy and efficient to check.

More information

Item ID: 14367
DC Identifier: https://oa.upm.es/14367/
OAI Identifier: oai:oa.upm.es:14367
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-5...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 26 Jan 2013 07:04
Last Modified: 21 Apr 2016 14:00
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM