Marco formal para el modelado de un sistema de detección de intrusos de red

Abstract

El modelado de un Sistema de Detección de Intrusos (IDS) es una tarea de alta complejidad donde resulta muy conveniente la formalización de un proceso para llevarlo a cabo. En este artículo se propone un Marco Formal que describe tanto el Método de Formalización a utilizar como las Herramientas formales que se emplearán en el proceso. El método general define un modelo IDS que consta de tres modelos que representan diferentes puntos de vista del mismo sistema. Primeramente parte de un Modelo Conceptual que se centra en la dimensión de los procesos y la notación Ericksson-Penker para describir las principales funcionalidades del IDS. Sus resultados sirven de entrada a la etapa de Modelado Funcional que describe el sistema centrándose en los agentes responsables de las funcionalidades y desarrolla un Sistema Multiagente que algoritmiza el Modelo Conceptual. Todo esto basándose en un modelo de acción-reacción de agentes y en herramientas de AUML para la descripción gráfica de la interacción entre los agentes. Por último, se pasa a la vista de recursos en la que se muestra un Modelo Arquitectural basado en SOA y en los principales diagramas UML para obtener el modelo que describa las tecnologías sobre las que se sustentará el sistema final.