- -

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

Thumbnail
Nombre: tesina Mauricio ...
Tamaño: 1.131Mb
Formato: PDF
Abrir
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