Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura
Fecha
Autores
Directores
Editores
Otras autorías
Unidades organizativas
Handle
https://riunet.upv.es/handle/10251/12247
Cita bibliográfica
Alba Castro, MF. (2008). Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura. Universitat Politècnica de València. https://riunet.upv.es/handle/10251/12247
Titulación
Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació
Resumen
En esta tesis se presenta una metodología y la implementación correspondiente para la certificación de propiedades de seguridad de programas Java, basada en lógica de reescritura, semántica de lenguajes de programación e interpretación abstracta. Se consideran propiedades aritméticas basadas en tipos, no interferencia y consumo acotado de recursos.