Mémoires de Fin d’Etudes
Etablissement
Université de M’Sila - Mohamed Boudiaf
Affiliation
Institut d’Informatique
Auteur
CHIKOUCHE, Noureddine
Directeur de thèse
Benmohammed Mohamed
Filière
Informatique:Programmation et Systéme
Diplôme
Magister
Titre
Problèmes de sécurité dans les systèmes embarqués
Mots clés
Protocole d’authentification; RFID; Vérification automatique; Confidentialité; Authentification
Résumé
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
Date de soutenance
23/09/2010
Cote
TH1.7319
Pagination
86 p.
Illusatration
ill.
Format
30 cm.
Statut
Traitée