Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2008-05-07T15:16:09Z
dc.date.available 2008-05-07T03:00:00Z
dc.date.issued 2003
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/3902
dc.description.abstract 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. es
dc.language es es
dc.subject dispositivos de control es
dc.subject aplicación informática es
dc.title Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad es
dc.type Tesis es
sedici.creator.person Valente, Abel es
sedici.description.note Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Tesis de grado es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.contributor.director Baum, Gabriel Alfredo es
thesis.degree.name Licenciado en Informática es
thesis.degree.grantor Universidad Nacional de La Plata es
sedici.date.exposure 2003
sedici2003.identifier ARG-UNLP-TDG-0000000171 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (6.160Mb) - PDF

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

Creative Commons Attribution 4.0 International (CC BY 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 4.0 International (CC BY 4.0)