La détection d'intrusions vise à automatiser la détection des actions malicieuses perpétrées sur un réseau de machines par un utilisateur interne ou un attaquant externe. Cela passe par la mise en place d'une surveillance des activités des utilisateurs et des systèmes pour analyse ultérieure de ces activités. Nous proposons dans cette thèse un langage de haut niveau d'abstraction, ADeLe, dédié à la description des attaques. Ce langage donne les moyens de décrire complètement une attaque sous ses différents aspects : exploit, détection et réaction. Nous détaillons tout d'abord la syntaxe et la sémantique informelle de ce langage. La partie détection de la description permet de corréler des événements ou des alertes en définissant des signatures qui comportent des contraintes temporelles et logiques. Nous donnons ensuite la sémantique opérationnelle associée à la partie détection du langage, basée sur des automates à états finis qui modélisent les signatures. Nous présentons un algorithme abstrait qui utilise ces automates pour effectuer la détection. Nous abordons également le problème de l'explosion combinatoire lié à notre modèle qui conserve en cours d'exécution, par défaut, l'ensemble des solutions partielles en mémoire. Nous présentons enfin différentes réalisations logicielles : plusieurs capteurs système et réseau, une sonde applicative, un compilateur du langage ADeLe vers nos automates à états finis ainsi que l'analyseur ADeLaIDS. Nous présentons également deux expérimentations effectuées à l'aide de cet analyseur.