INSTITUTO TECNOLÓGICO Y DE ESTUDIOS SUPERIORES DE MONTERREY CAMPUS ESTADO DE MEXICO ALGORITMOS DISTRIBUIDOS AUTOESTABILIZANTES APLICADOS EN LA SEGURIDAD COMPUTACIONAL RAÚL ALBERTO BURGUETE HERNÁNDEZ ASESOR: DR. ROBERTO GÓMEZ CÁRDENAS PROPUESTA DE TESIS

PUNTOS A TRATAR INTRODUCCION ANTECEDENTES PLANTEAMIENTO DEL PROBLEMA OBJETIVOS TRABAJO PROPUESTO

INTRODUCCIÓN En 1973, Dijkstra utilizó el término “autoestabilizante para distinguir cualquier sistema que tiene la siguiente propiedad: si el sistema empieza en cualquier, posiblemente estado ilegítimo, está garantizado a converger a un estado legítimo en un tiempo finito.

INTRODUCCIÓN Un sistema auto – estabilizante tiene la capacidad para recuperarse desde un estado arbitrario a su estado normal, lo que lo hace inmune a fallas o perturbaciones en el estado global del sistema. Este concepto podría aplicar a la seguridad computacional.

ANTECEDENTES Desde un punto de vista lógico, un sistema computacional puede ser representado abstractamente como una colección de sujetos y objetos. Los sujetos son entidades activas que acceden objetos, mientras que los objetos son entidades pasivas cuyos atributos de seguridad deben ser protegidos. Una política de seguridad que describe como los objetos son accedidos por los sujetos es una política de control de acceso.

Seguridad Computacional Distribuida El uso de redes de computadoras y de sistemas distribuidos se justifica si las medidas de seguridad pueden ser adecuadamente soportadas por el sistema o la red. La característica clave en un sistema distribuido es la transparencia y en una red computacional, es la interoperabilidad.

Seguridad Computacional Distribuida Por lo que el interés de la seguridad en los sistemas distribuidos se centra en los problemas de seguridad que surgen de estos requerimientos, la interoperabilidad y la transparencia. En un sistema distribuido se identifican tres temas de seguridad: autorización de acceso, seguridad del mensaje, y la autentificación.

Algoritmos autoestabilizantes La tarea de sincronización en un sistema distribuido se puede ver como el mantenimiento de una relación de in variancia sobre el estado global del sistema. Cuando esta relación se mantiene, el sistema está en un estado legal. De lo contrario, el estado del sistema es ilegal.

Algoritmos autoestabilizantes La auto-estabilización ha sido estudiada en sistemas de memoria compartida y de paso de mensajes, relacionados a problemas de exclusión mutua. Algunos trabajos recientes se concentran también en varias aplicaciones que incluyen diseño de protocolos, robótica y varios problemas de tolerancia de fallas

Algoritmo distribuido Auto - estabilizante Ataque de Seguridad ¿? PLANTEAMIENTO DEL PROBLEMA

En seguridad computacional se cuenta con el modelo de control de acceso el cual está basado en máquinas de estado. Se definen las variables de estado, las condiciones de estado seguro, las funciones que describen los cambios permitidos en las variables de estado, se define un estado inicial del sistema y se prueba que ese estado sea seguro. PLANTEAMIENTO DEL PROBLEMA

Teniendo en cuenta que un sistema auto – estabilizante tiene la capacidad para recuperarse espontáneamente desde un estado arbitrario, lo que hace a estos sistemas inmunes a fallas transitorias o perturbaciones en el estado del sistema, Resulta interesante aplicar este concepto en lo que se refiere a ataques de seguridad. PLANTEAMIENTO DEL PROBLEMA

OBJETIVOS La relación entre los algoritmos auto - estabilizantes y la seguridad computacional hacia la definición de algoritmos distribuidos seguros. Un modelo de sistema basándose en objetos / sujetos Un modelo de sistema distribuido

TRABAJO PROPUESTO Febrero, Marzo Auto estabilización Abril, Mayo Seguridad Computacional Junio, Julio Modelo de Seguridad Bell La Padula Agosto,Septiembre Modelo Dijkstra de Auto estabilización Noviembre Comparación de ambos modelos y resultados