Abstract:
Aujourd’hui, aucun système informatique n’est sˆur `a cent pour cent. Configurer
un système informatique afin de le rendre sécurisé est une tache complexe, elle se
complique plus avec l’ampleur du système `a protéger. De ce fait il est important de
développer des méthodes formelles permettant de configurer d’une manière sécurisée
les systèmes informatiques. L’objectif de ce projet est la modélisation d’une attaque
dans les réseaux AD HOC sous la forme d’un langage formel avec l’application de l’approche
RSC, cela nous permet d’obtenir une version plus sécurisé du réseau.
