@mastersthesis{pfcnuño,
author = "Jes{\'u}s Javier Nu{\~n}o Garc{\'i}a and Maci{\'a}-Fern{\'a}ndez, Gabriel  and Jes{\'u}s Esteban D{\'i}az Verdejo",
abstract = "El popular protocolo para redes peer-to-peer 'eDonkey', dene un modo de intercambio de mensajes entre ciertas entidades involucradas en una comunicaci{\'o}n. En particular, establece la secuencia y tipo de tramas intercambiadas entre dos nodos (peers) de la red P2P. Para cada situaci{\'o}n, este protocolo tiene denido una serie de intercambios de mensajes consecutivos. Para cada uno de estos escenarios se puede denir un aut{\'o}mata de estados nitos que modele el comportamiento del protocolo.
Mediante el desarrollo de una aplicaci{\'o}n con conocimiento acerca de estos aut{\'o}matas, se puede analizar el comportamiento de las entidades en el uso del protocolo. A partir de los resultados obtenidos, estos comportamientos se podr{\'a}n clasicar como permitidos o no, dependiendo de si han seguido la especicaci{\'o}n del protocolo instanciada en los aut{\'o}matas. Los comportamientos no acordes a dichos aut{\'o}matas podr{\'a}n, consecuentemente, clasicarse como an{\'o}malos desde el punto de vista de la seguridad de los sistemas. 
En este proyecto se modela e implementa un entorno de an{\'a}lisis que permite evaluar las posibles anomal{\'i}as existentes en el protocolo 'eDonkey' mediante aut{\'o}matas de estados finitos. Adicionalmente, se dise{\~n}an y realizan una serie de pruebas de evaluaci{\'o}n para comprobar el correcto funcionamiento de la aplicaci{\'o}n, as{\'i} como su rendimiento. ",
institution = "UGR",
title = "{C}aracterizaci{\'o}n de anomal{\'i}as en tr{\'a}fico {P}2{P} mediante aut{\'o}matas de estados finitos",
type = "PFC",
year = "2009",
}