Probl?es de S?urit?Dans Les Syst?es Embarqu?

Parmi les syst?mes embarqu?s qui ont connu des ?volutions rapides au cours des derni?res ann?es et qui sont utilis?s dans plusieurs domaines (la sant?, le transport, le logistique, etc.), on peut citer les syst?mes d'identification par radiofr?quence (RFID). Deux probl?mes principaux restent toujours pos?s au niveau des syst?mes embarqu?s communicants, notamment: la s?curit? et la complexit? (i.e. le co?t). La communication entre le tag et le lecteur est ins?curis?e, ce qui le rend ouvert devant toute attaque logique sur le protocole de s?curit?. Dans ce m?moire, nous essayons de mettre l'accent sur les m?thodes d'analyse des protocoles cryptographiques. Notre travail se focalise en particulier sur la v?rification automatique des protocoles d'authentification des syst?mes RFID sous la plateforme AVISPA. Les propri?t?s de s?curit? v?rifi?es sont: la confidentialit? et l'authentification. Notre ?tude comporte aussi une comparaison entre les diff?rents protocoles ?tudi?s en terme complexit? d'impl?mentation des primitives cryptographiques et alg?briques.

Author: Chikouche-N

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 100 pages

Binding: Paperback or Softback

ISBN-10: 613158964X

ISBN-13: 9786131589645