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

id	I15-R121-2133-24769
record_format	dspace
institution	Universidad Nacional de Rosario
institution_str	I-15
repository_str	R-121
collection	Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language	Español
topic	seguridad ciberseguridad information flow control no interferencia desclasificación delimited release
spellingShingle	seguridad ciberseguridad information flow control no interferencia desclasificación delimited release Latorre, Gonzalo de EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release
topic_facet	seguridad ciberseguridad information flow control no interferencia desclasificación delimited release
description	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: funcionan eficientemente en limitar su acceso, pero no pueden hacer nada para evitar su propagación. Para complementar estos mecanismos de seguridad, surgen las técnicas de control de flujo de información (IFC, Information-Flow Control), las cuales permiten establecer garantías sobre la confidencialidad e integridad de los datos. analizando cómo fluye la información dentro del programa. En este contexto surgen políticas de confidencialidad que garantizan que la información confidencial no puede ser inferida a partir de los datos públicos. No-interferencia es un ejemplo de una política de seguridad. Lo interesante de esta propiedad es que puede ser chequeada de manera estática mediante un sistema de tipos, por lo tanto, cuando un programa tipa en ese sistema de tipos, significa que satisface la propiedad de seguridad. Para que los lenguajes de seguridad tengan utilidad práctica necesitamos mecanismos de desclasificación, en los cuales el flujo de información sea controlado y al mismo tiempo se permita liberar información confidencial a canales públicos, pero solo de manera permitida y controlada, la cual la propiedad de no-interferencia resulta ser demasiado restrictiva. Delimited Release es una propiedad de seguridad que garantiza que la desclasificación no puede ser usada para filtrar información de manera no deseada. El objetivo de esta tesina es desarrollar un lenguaje de dominio específico embebido en Haskell para escribir programas seguros respecto a la propiedad Delimited Release.
author2	Manzino, Cecilia
author_facet	Manzino, Cecilia Latorre, Gonzalo de
format	bachelorThesis Tésis de Grado
author	Latorre, Gonzalo de
author_sort	Latorre, Gonzalo de
title	EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release
title_short	EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release
title_full	EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release
title_fullStr	EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release
title_full_unstemmed	EDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Release
title_sort	edsl en haskell para la programaci ́on segura respecto a la propiedad delimited release
publisher	Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate	2022
url	http://hdl.handle.net/2133/24769 http://hdl.handle.net/2133/24769
work_keys_str_mv	AT latorregonzalode edslenhaskellparalaprogramacionsegurarespectoalapropiedaddelimitedrelease
bdutipo_str	Repositorios
_version_	1764820412260155392

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

Ejemplares similares