Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad

Se especificará formalmente un modelo de seguridad multi-nivel, más concretamente, el modelo Bell-LaPadula, en el contexto de un módulo de control de acceso para un servidor de aplicaciones. Se implementará, además, un mecanismo de control de acceso discrecionario basado en Listas de Control de Acce...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Valente, Abel
Otros Autores: Baum, Gabriel Alfredo
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
dispositivos de control
aplicación informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3902
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-3902
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
dispositivos de control
aplicación informática
spellingShingle Ciencias Informáticas
dispositivos de control
aplicación informática
Valente, Abel
Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
topic_facet Ciencias Informáticas
dispositivos de control
aplicación informática
description Se especificará formalmente un modelo de seguridad multi-nivel, más concretamente, el modelo Bell-LaPadula, en el contexto de un módulo de control de acceso para un servidor de aplicaciones. Se implementará, además, un mecanismo de control de acceso discrecionario basado en Listas de Control de Acceso (ACL). El objetivo de la especificación es la posterior prueba formal de algunas propiedades de seguridad del módulo. La especificación se escribirá en Z, y para las pruebas se utilizará el asistente de pruebas Z/EVES 2.1. Con éste se verificarán algunas propiedades de la especificación, y en particular se probará que una de las operaciones del módulo preserva las propiedades de seguridad deseadas.
author2 Baum, Gabriel Alfredo
author_facet Baum, Gabriel Alfredo
Valente, Abel
format Tesis
Tesis de grado
author Valente, Abel
author_sort Valente, Abel
title Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
title_short Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
title_full Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
title_fullStr Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
title_full_unstemmed Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
title_sort un servidor de aplicaciones mls: especificación y verificación de propiedades de seguridad
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/3902
work_keys_str_mv AT valenteabel unservidordeaplicacionesmlsespecificacionyverificaciondepropiedadesdeseguridad
bdutipo_str Repositorios
_version_ 1764820472336220164

Ejemplares similares