Lorenzo Fonseca, Iren, Maciá Pérez, Francisco, Mora Gimeno, Francisco José, Marcos-Jorquera, Diego, Gil Martínez-Abarca, Juan Antonio, Lau Fernández, Rogelio Especificación formal de un modelo de detección de intrusos basado en la teoría sistemas multi-agentes LORENZO FONSECA, Iren, et al. “Especificación formal de un modelo de detección de intrusos basado en la teoría sistemas multi-agentes”. En: Desarrollo de grandes aplicaciones de red : VII Jornadas, JDARE 2010, Alicante, España, octubre 14-15, 2010, actas. San Vicente, Alicante : Grupo M, Universidad de Alicante, 2010. ISBN 978-84-614-3720-7, pp. 39-60 URI: http://hdl.handle.net/10045/15739 DOI: ISSN: ISBN: 978-84-614-3720-7 Abstract: Los Sistemas de Detección de Intrusos (IDS) han demostrado ser una herramienta de gran valor para hacerle frente a los problemas actuales de seguridad informática. Los Sistemas de Detección de Intrusos de Red (IDS) han comenzado a ser una herramienta de gran valor para la seguridad informática. Estos IDS deben contar, desde la etapa de modelado, con características que hagan viable su implantación en las condiciones actuales destacándose eficiencia, capacidad de detección, dinamismo, escalabilidad y mantenimiento mínimo. La teoría de Sistemas Multi-Agentes (MAS) brinda un Marco formal adecuado para el modela de este tipo de sistemas. Por esta razón, el presente artículo describe formalmente, a través de un MAS, un Modelo IDS que utiliza Redes Neuronales Artificiales y el Análisis de Componentes Principales con el objetivo de lograr eficiencia y espectro de clasificación. Keywords:Sistemas de detección de intrusos, Seguridad informática, Teoría de sistemas multi-agentes, Redes neuronales artificiales, Análisis de componentes principales GrupoM info:eu-repo/semantics/bookPart