Problèmes de Sécurité Dans Les Systèmes Embarqués

By Chikouche-N and Noureddine Chikouche

Parmi les systemes embarques qui ont connu des evolutions rapides au cours des dernieres annees et qui sont utilises dans plusieurs domaines (la sante, le transport, le logistique, etc.), on peut citer les systemes d'identification par radiofrequence (RFID). Deux problemes principaux restent toujours poses au niveau des systemes embarques communicants, notamment: la securite et la complexite (i.e. le cout). La communication entre le tag et le lecteur est insecurisee, ce qui le rend ouvert devant toute attaque logique sur le protocole de securite. Dans ce memoire, nous essayons de mettre l'accent sur les methodes d'analyse des protocoles cryptographiques. Notre travail se focalise en particulier sur la verification automatique des protocoles d'authentification des systemes RFID sous la plateforme AVISPA. Les proprietes de securite verifiees sont: la confidentialite et l'authentification. Notre etude comporte aussi une comparaison entre les differents protocoles etudies en terme complexite d'implementation des primitives cryptographiques et algebriques."

• Format: Paperback
• Language: French
• ISBN: 613158964X
• ISBN13: 9786131589645
• Release Date: August 2011
• Publisher: Omniscriptum
• Length: 100 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"