Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Problèmes de sécurité dans les systèmes embarqués
Univ Europeenne - EAN : 9786131589645
Édition papier
EAN : 9786131589645
Paru le : 19 août 2011
39,00 €
36,97 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131589645
- Réf. éditeur : 5501520
- Editeur : Univ Europeenne
- Date Parution : 19 août 2011
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 100
- Format : H:229 mm L:152 mm E:6 mm
- Poids : 160gr
- Interdit de retour : Retour interdit
- 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.
