Raúl Burguete

En seguridad computacional se cuenta con el modelo de control de acceso el cual está basado en máquinas de estado. En él se definen las variables de estado, las condiciones de estado seguro (en la cual se define la in variancia del sistema, definiéndose las relaciones a respetar entre las variables de estado durante las transiciones de estados), 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. Un sistema auto-estabilizante está definido como una red de procesadores que cuando inicia desde un estado inicial arbitrario, posiblemente ilegal, siempre regresa a un estado legal en un número finito de pasos. Colocando ambos aspectos juntos en el contexto de la seguridad computacional, y teniendo en cuenta que un sistema auto - estabilizante tiene la capacidad para recuperarse espontáneamente desde un estado arbitrario, hacen 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.