Vérification automatique d’un protocole de sécurité dans les systèmes RFIDs à base d’outils AVISPA & SPAN.

Loading...
Thumbnail Image

Date

2016

Journal Title

Journal ISSN

Volume Title

Publisher

Université Mouloud Mammeri

Abstract

L a RFID (Radio Frequancy IDentification) est une technologie d'identification qui suscite de plus en plus un grand intérêt d'utilisation dans divers domaines. Néanmoins, un des plus importants challenges de ces systèmes RFID est la sécurité. Pour garantir une bonne sécurité et protéger la vie privée des utilisateurs de ces systèmes, la cryptographie est utilisée. Comme les systèmes RFIDs sont caractérisés par leurs ressources limitées (mémoires, puissance de calcul), les protocoles cryptographiques destinés pour ces systèmes doivent utiliser des primitives légères ou ultra légères. Beaucoup de protocoles cryptographiques sont déjà proposés pour les systèmes RFID. Malheureusement, des vulnérabilités et des failles de sécurité ont été découvertes dans la plupart de ces protocoles, en dépit de la quantité considérable de temps et d'efforts requis pour la conception et la mise en œuvre de ces protocoles. La vérification de ces derniers avant leur utilisation devient un besoin cruciale. Dans ce travail, nous nous sommes intéressés à la vérification formelle de protocoles cryptographiques à base de l'outil AVISPA&SPAN. Nous avons vérifié deux protocoles : Le premier (R2AP) s'est révélé sans faille. Par contre, le deuxième (HMNB) est vulnérable vis-à-vis de deux attaques (attaque par rejeu et attaque main in-the-middle). A ce dernier, nous avons proposé une amélioration qui est prouvée résistante aux attaques précédentes à base d'AVISPA.

Description

95 f. : ill. ; 30 cm. (+ CD-Rom)

Keywords

Citation

Systéme Informatique