Show simple item record

dc.contributor.authorMohamedi Malika
dc.contributor.authorIkerbane Samia
dc.contributor.otherBelkadi Malika ép. Saad
dc.date.accessioned2021-02-28T10:37:45Z
dc.date.available2021-02-28T10:37:45Z
dc.date.issued2016
dc.identifier.citationSystéme Informatique
dc.identifier.otherMAST.INF.77-16en
dc.identifier.urihttps://www.ummto.dz/dspace/handle/ummto/12695
dc.description95 f. : ill. ; 30 cm. (+ CD-Rom)en
dc.description.abstractL 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.en
dc.language.isofren
dc.publisherUniversité Mouloud Mammerien
dc.titleVérification automatique d’un protocole de sécurité dans les systèmes RFIDs à base d’outils AVISPA & SPAN.en
dc.typeThesisen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record