- -

Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura

Mostrar el registro sencillo del ítem

Ficheros en el ítem

dc.contributor.advisor Alpuente Frasnedo, María es_ES
dc.contributor.author Alba Castro, Mauricio Fernando es_ES
dc.date.accessioned 2011-10-20T10:08:20Z
dc.date.available 2011-10-20T10:08:20Z
dc.date.created 2008-07
dc.date.issued 2011-10-20
dc.identifier.uri http://hdl.handle.net/10251/12247
dc.description.abstract 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. es_ES
dc.format.extent 164 es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Lógica de reescritura es_ES
dc.subject Verificación es_ES
dc.subject Código portador de prueba (PCC) es_ES
dc.subject Interpretación abstracta es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation 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/12247 es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem