Probl�mes de S�curit� Dans Les Syst�mes Embarqu�s

Parmi les systmes embarqus qui ont connu des volutions rapides au cours des dernires annes et qui sont utiliss dans plusieurs domaines (la sant, le transport, le logistique, etc.), on peut citer les systmes d'identification par radiofrquence (RFID). Deux problmes principaux restent toujours poss au niveau des systmes embarqus communicants, notamment : la scurit et la complexit (i.e. le cot). La communication entre le tag et le lecteur est inscurise, ce qui le rend ouvert devant toute attaque logique sur le protocole de scurit. Dans ce mmoire, nous essayons de mettre l'accent sur les mthodes d'analyse des protocoles cryptographiques. Notre travail se focalise en particulier sur la vrification automatique des protocoles d'authentification des systmes RFID sous la plateforme AVISPA. Les proprits de scurit vrifies sont : la confidentialit et l'authentification. Notre tude comporte aussi une comparaison entre les diffrents protocoles tudis en terme complexit d'implmentation des primitives cryptographiques et algbriques.