Synopses & Reviews
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.