El RepHip UNR fue actualizado el 02/05/24, en el sitio de Ayuda -->+INFO-->Actualizaciones , encontrarán un listado de los cambios realizados. Ante cualquier duda y/o problema por favor escribirnos a rephip@unr.edu.ar
 

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

Vista sencilla de ítem
dc.contributor.advisorManzino, Cecilia
dc.creatorLatorre, Gonzalo de
dc.date.accessioned2022-11-16T21:55:53Z
dc.date.available2022-11-16T21:55:53Z
dc.date.issued2022-05
dc.description.abstractLa 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.es
dc.description.peerreviewedPeer reviewed
dc.formatapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2133/24769
dc.language.isospaes
dc.publisherFacultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosarioes
dc.rightsopenAccesses
dc.rights.holderLatorre, Gonzalo dees
dc.rights.textAtribución -- No Comercial (by-nc): Se permite la generación de obras derivadas siempre que no se haga con fines comerciales. Tampoco se puede utilizar LA OBRA original con fines comerciales.es
dc.rights.urihttp://creativecommons.org/licenses/by/2.5/ar/*
dc.subjectseguridades
dc.subjectciberseguridades
dc.subjectinformation flow controles
dc.subjectno interferenciaes
dc.subjectdesclasificaciónes
dc.subjectdelimited releasees
dc.titleEDSL en Haskell para la programaci ́on segura respecto a la propiedad Delimited Releasees
dc.typebachelorThesis
dc.typeTésis de Grado
dc.type.collectiontesis
dc.type.otherbachelorThesises

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Tesina de Licenciatura en Ciencias de la Computación. Latorre, Gonzalo de.pdf
Tamaño:
323.77 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
3.59 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

FCEIA-ECEN-DCC- Trabajos Finales de Grado (trabajos finales, proyectos y tesinas)