Descripción
|
|
---|---|
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. | |
Internacional
|
Si |
JCR del ISI
|
No |
Título de la revista
|
ACM transactions on programming languages and systems |
ISSN
|
0164-0925 |
Factor de impacto JCR
|
0 |
Información de impacto
|
|
Volumen
|
33 |
DOI
|
http://doi.acm.org./10.1145/1985342.1985344 |
Número de revista
|
Issue:4 |
Desde la página
|
13:1 |
Hasta la página
|
13:46 |
Mes
|
JULIO |
Ranking
|