Implémentation d'une technique formelle pour la génération de scénarios d'attaques sous Java

Abstract

Les systèmes informatiques actuels deviennent de plus en plus vulnérables, avec l'utili- sation fréquente de plus en plus de protocoles de communication réseau, et le besoin gran- dissant d'ouverture de ces systèmes a Internet, de nouvelles vulnérabilités voient le jour ainsi, de nouvelles attaques exploitant ces vulnérabilités apparaissent régulièrement et de facon continue. C'est pour cela qu'il est devenu primordial non de déffinir des mécanismes pour empêcher les intrus d'attaquer mais de pouvoir les détecter afin d'avoir une vue sur les failles de ces systèmes vulnérables et ainsi d'y remèdier. C'est ce qui fait que la sécurité de ces systèmes est devenue un souci majeur. Dans ce domaine, la génération automatique de graphes d'attaques est bien utile pour l'analyse et la conffiguration de la sécurité réseau ainsi que pour la détection des attaques informatiques. Le principal but de ce projet est de réaliser une application graphique permettant d'avoir une topologie de réseau en entrée pour générer un graphe d'attaques associé a cette topologie en sortie, selon une stratégie spécifée