Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
An Abstract Model of Certificate Translation
Year:2010
Research Areas
  • Information technology and adata processing
Information
Abstract
Un certificado es un objeto matemático que puede usarse pra estalecer que un fragmento de código móvil satisface una política de seguridad. En general, los certificados no pueden ser generados automáticamente. Existe por eso un interés en desarrollar métodos para reusar certificados generados para el código fuente para proveer garantías sobre el código compilado. La Transformación de Certificados es un método para convertir los certificados de la corrección de un programa a lo largo de trasformaciones del programa. Estos métodos han sido desarrollados en trabajo anterior, pero están estrechamente dependientes del entorno de programación y verificación. Este artículo provee una construcción más general, basado en el entorno de interpretación abstracta, dando evidencia de la escalabilidad del método de Transformación de certificados.
International
Si
JCR
No
Title
ACM transactions on programming languages and systems
ISBN
0164-0925
Impact factor JCR
0
Impact info
Volume
33
http://doi.acm.org./10.1145/1985342.1985344
Journal number
Issue:4
From page
13:1
To page
13:46
Month
JULIO
Ranking
Participants
  • Autor: Cesar Kunz (UPM)
  • Participante: Gilles Barthe (IMDEA Software Institute)
Research Group, Departaments and Institutes related
  • Creador: Departamento: Inteligencia Artificial
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)