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é.
