Approche algébrique pour la prévention d’intrusions attaque Blackhole

Abstract

Le développement des systèmes informatiques facilite l’accès à l’information, et contribue également à l’essor de nouveaux services, ce développement s’est accompagné d’une panoplie de problèmes. Parmi ceux-ci, les plus inquiétants ont trait à la sécurité puisqu’elles mettent en péril le bon fonctionnement de ces systèmes. De ce fait il est important de mettre en place des méthodes formelles permettant de sécuriser les systèmes informatiques. Le but de ce papier est de modéliser une attaque blackhole dans un réseau AD HOC sous forme d’un langage formel en utilisant l’approche RSC, ce qui nous a permis de développer un système plus sécurisé.