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

Please use this identifier to cite or link to this item: http://hdl.handle.net/10045/13611
Información del item - Informació de l'item - Item information
Title: Marco formal para el modelado de un sistema de detección de intrusos de red
Authors: Lorenzo Fonseca, Iren | Maciá Pérez, Francisco | Mora Gimeno, Francisco José | Marcos-Jorquera, Diego | Gil Martínez-Abarca, Juan Antonio | Lau Fernández, Rogelio
Research Group/s: GrupoM. Redes y Middleware
Center, Department or Service: Universidad de Alicante. Departamento de Tecnología Informática y Computación | Instituto Superior Politécnico José Antonio Echevarría. Centro de Estudio de Ingeniería y Sistema
Keywords: IDS | Modelado | UML | SOA
Knowledge Area: Arquitectura y Tecnología de Computadores
Date Created: 20-Sep-2009
Issue Date: 15-Oct-2009
Publisher: GrupoM | Universidad de Alicante
Citation: LORENZO FONSECA, Iren, et al. “Marco formal para el modelado de un sistema de detección de intrusos de red”. En: Desarrollo de grandes aplicaciones de red : VI Jornadas, JDARE 2009, Alicante, España, octubre 15-16, 2009, actas. San Vicente, Alicante : Grupo M, Universidad de Alicante, 2009. ISBN 978-84-613-4894-7, pp. 45-66
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.
Sponsor: Proyecto Habana
URI: http://hdl.handle.net/10045/13611
ISBN: 978-84-613-4894-7
ISSN: 1889-7819
Language: spa
Type: info:eu-repo/semantics/bookPart
Peer Review: si
Appears in Collections:INV - GrupoM - Capítulos de Libros

Files in This Item:
Files in This Item:
File Description SizeFormat 
Thumbnail20090821_JDARE09_Lorenzo_Articulo_3.pdf1,35 MBAdobe PDFOpen Preview


Items in RUA are protected by copyright, with all rights reserved, unless otherwise indicated.