- -

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 completo del ítem

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

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/12247

Ficheros en el ítem

Thumbnail
Nombre: tesina Mauricio ...
Tamaño: 1.131Mb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura
Autor: Alba Castro, Mauricio Fernando
Director(es): Alpuente Frasnedo, María
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2008-07
 Fecha difusión:
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 ...[+]
Palabras clave: Lógica de reescritura , Verificación , Código portador de prueba (PCC) , Interpretación abstracta
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
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ó
Tipo: Tesis de máster

recommendations

 

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

Mostrar el registro completo del ítem