Abstract interpretation-based mobile code certification

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

Descripción

Título: Abstract interpretation-based mobile code certification
Autor/es:
  • Albert Albiol, Elvira
  • Puebla Sánchez, Alvaro Germán
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 20th International Conference, ICLP 2004
Fechas del Evento: September 6-10, 2004
Lugar del Evento: Saint-Malo, France
Título del Libro: Logic Programming
Fecha: 2004
ISBN: 9783540226710
Volumen: 3132
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (131kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14367
Identificador DC: http://oa.upm.es/14367/
Identificador OAI: oai:oa.upm.es:14367
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-27775-0_31?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 26 Ene 2013 07:04
Ultima Modificación: 21 Abr 2016 14:00
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM