Investigación y Posgrado

Sitios de Interés

Logo Uncoma UNCOMA
Logo Pedco PEDCO
Logo SIU SIU Guaraní
Logo Correo Correo electrónico FAI
Logo facebook FAI en Facebook
Logo Twitter FAI en Twitter  
boton telegram FAI en Telegram

En caso de emergencia médica dentro del Campus llamar a

sien

Teléfono: 107

Título"Mejoras de aspectos de seguridad en sistemas de voto electrónico implementados en Argentina"

Tesista: Guido Pontet

Director: CC. Jorge Sznek

Carrera: Licenciatura en Ciencias de la Computación

Fecha de defensa: 23 de noviembre de 2017

 

Resumen

El objetivo primordial del presente trabajo es determinar las principales vulnerabilidades, desde el punto de vista de la seguridad y auditoría, de los sistemas de voto electrónico implementados y puestos en funcionamiento en diferentes instituciones y/u organizaciones de Argentina hasta el día de hoy, y proponer medidas para su mitigación. Para esto, se van a contemplar aspectos de seguridad en todas las etapas, aplicando técnicas tanto de seguridad física como de seguridad lógica a fin de garantizar el secreto del voto.

El voto es el mecanismo mediante el cual los ciudadanos de una democracia representativa, como la de la República Argentina, eligen a sus representantes. Es una condición necesaria para el funcionamiento de un sistema democrático y el más básico de los derechos políticos, por lo que es esencial que cualquier sistema de votación que se utilice preserve las características fundamentales del mismo.

El voto electrónico es un tema que actualmente se ha instalado tanto en las agendas de gobierno como en la opinión pública. En Argentina se han realizado varias pruebas de votación electrónica a lo largo de los últimos años. Siendo una república federal, cada provincia cuenta con su propia legislación electoral, por lo que existe un grado dispar en el avance hacia la automatización de los procesos electorales.

La seguridad en los sistemas de voto electrónico debe garantizar la confidencialidad, la integridad y la autenticidad de todos los elementos involucrados o generados durante el proceso de votación. Se debe tener en cuenta la arquitectura de seguridad utilizada como así también el uso de diferentes protocolos criptográficos. Un sistema de voto electrónico debe satisfacer las mismas propiedades de seguridad que un sistema de votación tradicional: transparencia, privacidad y verificabilidad.

El aporte de esta tesis, es el análisis de los sistemas puestos en funcionamiento en la República Argentina y la determinación del grado de cumplimiento de los requisitos esenciales que se tienen que verificar en un sistema electoral. Luego, se va a diseñar y proponer un prototipo de un sistema de votación electrónica, contemplando las medidas de seguridad, auditoría y control establecidas a partir de la investigación realizada, intentando potenciar las virtudes y gestionar las vulnerabilidades y deficiencias.

 

Foto del día de la defensa con su tutor y el tribunal integrado por los profesores Mg. Adair Martins y Esp. Eduardo Grosclaude

tesis guido  

Ver otras tesis FaI ]

 

Título"Gestión de la Variabilidad sobre una Línea de Productos de Software en el subdominio de Ecología Marina"

Tesista: Mirian Muñoz

Directores: Dra. Agustina Buccella - Lic. Matías Pol'la

Carrera: Licenciatura en Ciencias de la Computación

Día y lugar: 27 de noviembre de 2017
 

Resumen

La Ingeniería de Líneas de Productos Software (ILPS) [4, 13, 28, 36] ha evolucionado durante las últimas décadas como un paradigma de desarrollo basado en la reutilización extensiva de software. Una de las definiciones más utilizadas en la literatura introduce el concepto de Líneas de Productos de Software (LPS) como un conjunto de sistemas que comparten características comunes y satisfacen las necesidades específicas de un segmento del mercado [13].

Entre las principales características para el éxito de esta nueva disciplina se encuentran [36]:

  • Manejo de la variabilidad: sistemas individuales se consideran como variaciones de una parte común. Esta variabilidad debe ser explícita y debe administrarse en forma sistemática.
  • Centrado en la arquitectura: el lado técnico del software debe desarrollarse de manera de permitir aprovechar las similitudes entre sistemas individuales.
  • Enfoque de dos ciclos de vida: se deben considerar las dos ingenierías involucradas en todo proceso de LPS: ingeniería de dominio, la cual se centra en la de nición de aspectos reusables que proveen un rango necesario de variabilidad; e ingeniería de aplicación, la cual es responsable de derivar líneas de productos desde la plataforma establecida en la ingeniería de dominio.

De esta manera, la ingeniería para líneas de productos se basa en dos conceptos fundamentales: variabilidad y similitudes (o partes comunes). Por ejemplo, Weiss [37] hace referencia a las similitudes como una lista de suposiciones que son verdaderas para todos los miembros de una familia de programas y define a las variabilidades como proveedoras del alcance de la familia prediciendo qué decisiones pueden cambiar durante la vida útil de la misma. En el caso de una Línea de Productos de Software, según Pohl [28], la variabilidad se modela para hacer posible el desarrollo de aplicaciones personalizadas mediante la reutilización de artefactos predefinidos y ajustables. Por lo tanto, se distinguen así diferentes aplicaciones de la línea. Por otra parte, las similitudes denotan características que forman parte de cada aplicación en exactamente la misma forma.

Dentro de los antecedentes de la investigación, se han presentado varios trabajos [6, 7, 27, 29] que siguen una metodología de desarrollo para el diseño e implementación de una LPS a nivel de dominios-subdominios geográficos. Para esto se han desarrollado un conjunto componentes reusables dentro del subdominio de Ecología Marina y se instanciaron para la construcción de dos productos que pertenecen a dos organizaciones de la zona.

Dichas organizaciones son el Instituto de Biología Marina y Pesquera "Almirante Storni" (IBMPAS) y el Centro Nacional Patagónico (CENPAT-CONICET). Sin embargo, en esta LPS todavía no se ha profundizado en la gestión de la variabilidad y no se han definido metodologías específicas para administrarla formalmente. Esto ha generado ciertos problemas a la hora de crear nuevos productos derivados de la línea ya que diferentes componentes utilizan diferentes formas de definirla.

Es por ello, que hemos realizado un relevamiento de algunas de las técnicas mas utilizadas en la actualidad o con mayor impacto con el objeto de definir un conjunto similar o novedoso de mecanismos a aplicar según los requerimientos y limitaciones de la LPS del subdominio de Ecología Marina.

El presente trabajo se abordan cuatro modelos diferentes para administrar la variablidad de forma sistematizada, seleccionando el que se ha considerado más adecuado para realizar la administración de la variabilidad en la LPS del subdominio de ecología marina.

Los cuatro modelos presentados se analizan y se ejemplifican para el subdominio de sistemas CAD, pudiendo de este modo ver mas claramente las diferencias entre ellos. Luego de analizarlos se selecciono el modelo de gestión variabilidad propuesto por Jarzabek en [17]. Finalmente se muestra la aplicación del modelo propuesto por Jarzabek [17] a los módulos antes mencionados. Se ha aplicado este al modulo variable de administración de proyectos, el cual se encuentra asociado a un usuario (el usuario que se loguea), y cuenta con etiquetas agrupadas por proyecto. Dicho modulo es acoplado a través de una validación de usuario, así de este modo, se crea una sessión por logueo y se asocian los proyectos creados al usuario.

 

Foto del día de la defensa con sus tutores y el tribunal integrado por los profesores Lic. Silvia Amaro y Dr. Andrés Flores

tesis miriam munoz  

Ver otras tesis FaI ]

 

Título"Optimización e implementación de multiprocesamiento para una aplicación legacy de Dinámica de Fluídos"

Tesista: Andrés Huayquil

Directores: Esp. Eduardo Grosclaude

Carrera: Licenciatura en Ciencias de la Computación

Día y lugar: 21 de diciembre de 2017
 

Resumen

Llamamos Software Heredado (Legacy Software) a programas que permanecen en producción durante un largo período de tiempo, aun a pesar de los cambios tecnológicos que van ocurriendo a su alrededor, y que amenazan con dejarlos obsoletos. Las aplicaciones heredadas cumplen misiones críticas que hacen difícil reemplazarlas, por lo cual siguen vigentes en forma forzosa, a veces durante decenas de años. Particularmente en las áreas científicas, con problemas de cálculo intensivo, una vez que un programa arroja resultados correctos, no suelen existir modificaciones al código. El trabajo de modernizar un sistema legacy puede tener una envergadura variable, dependiendo de la complejidad del sistema y del nuevo ambiente donde vaya a funcionar. La modernización de una aplicación heredada puede verse como un proceso de optimización de la aplicación, sólo que para una plataforma diferente de aquella para la cual fue construida.

Este trabajo de tesis presenta la optimización de una aplicación científica del campo de la Dinámica de Fluidos, desarrollada en lenguaje Fortran como parte de un trabajo de doctorado. La aplicación analiza el comportamiento de una turbina eólica de eje horizontal y modela un flujo invíscido alrededor de la pala de la turbina a través del método de los paneles. Mediante la optimización se busca una mejora en el rendimiento de la aplicación, como también en la utilización de los recursos.

Se describe el proceso llevado a cabo, pasando en primer instancia por una optimización serial del código Fortran y luego por una optimización paralela para máquinas de memoria compartida, de manera que pueda aprovechar recursos que no estaban contemplados en su diseño original. La implementación de multiprocesamiento se realiza con la interfaz de programación paralela OpenMP, la cual provee un modelo portable y escalable para el desarrollo de aplicaciones paralelas de memoria compartida.

Al aplicar el proceso de optimización se producen distintas versiones de la aplicación: una versión serie optimizada y una versión con optimización paralela. La versión serie basa su optimización en aprovechar la mayor memoria RAM disponible en los sistemas  de cómputo de memoria compartida actuales. El rendimiento aumenta al utilizar la memoria RAM, un medio de almacenamiento de datos de mayor velocidad de acceso que el disco, para el almacenamiento de datos intermedios (temporales) de la aplicación. La versión paralela aumenta el rendimiento mediante la ejecución simultánea de distintas iteraciones de bucles (sin dependencias de datos entre ellas) en diferentes cores. La evaluación de rendimiento de la versión paralela muestra un aumento significativo del rendimiento, respecto a la versión serie, para tamaños de problema reducidos. Sin embargo, el rendimiento decae para grandes tamaños de problema, determinando así nuevas optimizaciones a realizar.

 

 

 

Foto del día de la defensa con su tutor y el tribunal integrado por los profesores Mg. Adair Martins y Dr. Javier Balladini

tesis Huayquil  

Ver otras tesis FaI ]

 

Título"Una Arquitectura Cliente-Servidor para Modelado Conceptual Asistido por Razonamiento Automático"

Tesista: Christian Giménez

Directores: Dra. Laura Cecchi - Lic. Germán Braun

Carrera: Licenciatura en Ciencias de la Computación

Día y lugar: 14 de diciembre de 2017
 

Resumen

Los sistemas de información basados en ontologías, en especial la Web Semántica, han tenido un gran impulso en los últimos tiempos, aumentando en cuanto a cantidad de datos e información relacionada. La calidad de los mismos está ampliamente determinada por el nivel conceptual, por lo que el diseño de ontologías es clave para la posterior implementación y mantenimiento. Asimismo, la ingeniería ontológica necesita de metodologías y herramientas gráficas para la creación, edición y actualización de modelos que cumplan con criterios de calidad altos y medibles.

Existen diversas herramientas orientadas a la ingeniería ontológica. Sin embargo, éstas no pueden ser utilizadas sin grandes modificaciones para llevar a cabo una integración gráfico-lógica con soporte de servicios de razonamiento. Esto permite brindarle asistencia al usuario en el diseño ontológico, por medio de la utilización de consultas automatizadas que permitan obtener propiedades conceptuales implícitas o explícitas. Particularmente, y tema central para esta tesis, es la posibilidad de consultar la consistencia de una ontología, y por ende, del modelo conceptual asociado.

En base a lo expuesto, se plantea el diseño de una arquitectura para una herramienta Web colaborativa que utilice lenguajes gráficos de modelado conceptual para la creación de ontologías. A fin de asegurar la calidad de los diseños, se incluye un servicio de razonamiento subyacente para resolver consultas acerca de la consistencia del modelo de usuario y sus clases. Para poder llevar a cabo el mapeo gráfico-lógico, y brindar al razonador la ontología necesaria, se utiliza una codificación que formaliza el lenguaje de modelado conceptual en Lógica Descriptiva. Asimismo, para determinar la consistencia del modelo (y de su ontología asociada) se definen las consultas necesarias para que el razonador pueda responderlas.

Esto resulta en una herramienta denominada crowd que implementa todos los criterios establecidos en el diseño presentado. Se opta por el uso de un subconjunto de primitivas de UML como lenguaje gráfico. Esto requiere de una biblioteca gráfica para la interfaz, por lo que se han relevado varias disponibles, optando por JointJS. crowd puede mostrar al usuario las inconsis tencias en un modelo conceptual gracias a la codificación de UML a Lógica Descriptiva escrita en sintaxis OWL 2 y que, con un conjunto de consultas propias del protocolo OWLlink, alimentan al razonador RACER. Las respuestas, son mostradas al usuario bajo el mismo lenguaje gráfico, con notación gráfica resaltada para indicar cuáles elementos gráficos requieren de atención.

 

 

Foto del día de la defensa con sus tutores y el tribunal integrado por los profesores Dra. Agustina Buccella y Esp. Sandra Roger

tesis gimenez  

Ver otras tesis FaI ]

 

Título"Estudio del Estado del Arte de la Informática Forense en Argentina"

Tesista: Alejandra Forquera

Directores: CC. Jorge Sznek

Carrera: Licenciatura en Ciencias de la Computación

Día y lugar: 4 de abril de 2018
 

Resumen

El crecimiento acelerado de las redes de computadoras, la telefonía móvil y los sistemas informáticos trajo aparejado muchos beneficios y riesgos en el manejo de la información. Los beneficios más notables están relacionados con la gestión, por medio de Internet, de cuentas bancarias, pagos, trámites, compras, redes sociales, teletrabajo, estudio a distancia, entre otros. Las personas y empresas pueden realizar estas tareas desde cualquier lugar del mundo, sin necesidad de hacer largas colas, perder tiempo y dinero en traslados hacia el lugar donde se va a desarrollar la transacción.

Estas facilidades también son utilizadas por los ciberdelincuentes  para cometer delitos (fraudes, robo de información, ataques, etc.). Estas actividades a su vez, dejan rastros en los dispositivos y tecnologías utilizadas. Es por esto que cada día cobra más importancia la Informática Forense como herramienta para combatir la ciberdelincuencia, la cual permite, mediante la aplicación de técnicas especializadas, identificar, recolectar, preservar, analizar, validar y  presentar todo tipo de pruebas digitales en un proceso legal con el fin de resolver crímenes.

Esta disciplina evoluciona constantemente, adquiriendo más importancia día a día. Es por esto que el presente trabajo tiene como objetivo realizar un estado del arte de la Informática Forense, investigando su historia, terminología, objetivos, herramientas, metodologías y leyes existentes en los países, haciendo foco en los procedimientos, metodologías, leyes y proyectos implementados en Argentina.

 

 

Foto del día de la defensa con su tutor y el tribunal integrado por los profesores Mg. Gerardo Parra y Mg. Juan Manuel Luzuriaga

tesis Huayquil  

Ver otras tesis FaI ]

 

Página 10 de 20