EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release

La confidencialidad de la información manipulada por sistemas informáticos ha tomado mayor importancia con el uso creciente de aplicaciones a través de internet. Los mecanismos de seguridad tradicionales como control de acceso o criptografía no proveen protección punta a punta de los datos: funciona...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Latorre, Gonzalo de
Otros Autores: Manzino, Cecilia
Formato: bachelorThesis Tésis de Grado
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2022
Materias:
seguridad
ciberseguridad
information flow control
no interferencia
desclasificación
delimited release
Acceso en línea:http://hdl.handle.net/2133/24769
http://hdl.handle.net/2133/24769
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares