Communication

Un mécanisme d'authentification sécurisé pour les réseaux locaux sans fil

Hakim Naifer

Membre a labase

Hakim Naifer

Résumé de la communication

L'utilisation de plus en plus intense des systèmes mobiles et communicants offre des possibilités nouvelles et prometteuses. Elle introduit également un certain nombre de risques. Les réseaux locaux sans fil ou ''Wireless Local Area Network'' (WLAN) sont l’une des catégories de réseaux qui ont connu un très grand essor de par les nombreux avantages qu'ils offrent. Bon nombre de ces réseaux se sont même multipliés dans des endroits publics comme les cafés, les hôtels et les aéroports, plus communément connus sous le nom de HotSpot. Les WLAN ont résolu beaucoup de problèmes comparativement aux réseaux locaux filaires classiques. Cependant, ils en ont introduit d'autres, et notamment ceux relatifs à la sécurité des communications. Les problèmes de sécurité dans les WLAN sont nombreux, diversifiés et complexes. Prétendre les résoudre tous serait utopique. C’est dans ce contexte que nous nous sommes concentrés sur un aspect de ces problèmes qui est l’authentification. Dans cette communication, nous allons, tout d’abord, donner un bref aperçu des différentes technologies utilisées dans les WLAN et exposerons succinctement les problèmes de sécurité qui s’y rattachent. Ensuite, nous présenterons les fondements fonctionnels et architecturaux du mécanisme d’authentification sécurisé que nous proposons. Enfin, nous exposerons une modélisation à l’aide de machines à états finis de notre mécanisme et les résultats de différents scénarios de validation formelle que nous avons réalisé.