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.Alba Castro, MF. (2008). Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura. http://hdl.handle.net/10251/12247Archivo delegad
