Problèmes de sécurité dans les systèmes embarqués
39,00 €
37,05 €
Économisez 5%
Vérification automatique des protocoles d'authentification des systèmes RFID
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.
Noureddine Chikouche, Doctorant en Informatique, enseignant à la faculté de mathématiques et de l''Informatique dans l''université de M''sila.
Il travaille sur la sécurité des systèmes d''identification par radiofréquence (RFID).
Fiche technique
- Auteur
- NOUREDDINE CHIKOUCHE
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pages
- 100
- Pays
Algérie
30 autres produits dans la même catégorie :
Voir tout
Qualité de service dans les réseaux maillés sans fil sur MikroTik
DIEUDONNÉ OFODIA ELANGA
68,90 €
-5%
65,45 €
- Nouveau
Qualité de Service et Performance des Réseaux Sans Fil IEEE 802.11ac
SOUHILA MAMMERI
61,90 €
-5%
58,80 €
- Nouveau
Gestion de la Bande Passante dans les Réseaux WLANs à Très Haut Débit
FADHILA HALFAOUI
61,90 €
-5%
58,80 €
- Nouveau
Réseaux WLANs IEEE 802.11 : Evaluation et Optimisation de Performances
MOHAND YAZID
71,90 €
-5%
68,30 €
- Nouveau
Usages des réseaux sociaux dans la relation enseignant-apprenant
KOSSI AMESSINOU
39,90 €
-5%
37,90 €
- Nouveau
Impact de la Fibre Optique dans la Transmission du Signal Vocal
FRANCIS MUYEJI KASHITU
39,90 €
-5%
37,90 €
- Nouveau
Optimisation des efficacités spectrale et énergétique dans la 5G
RAYMOND GBEGBE
71,90 €
-5%
68,30 €
- Nouveau
DEPLOIEMENT DU RESEAU WIMAX DANS UNE ZONE DE PRODUCTION PETROLIERE
ALLAH-TOIYOH RONDOH LAURENT
54,90 €
-5%
52,15 €
- Nouveau
Transformation Numérique : Levier de Gestion optimale des Entreprises
CHRISTIAN BAYA DIAKILEKE
79,90 €
-5%
75,90 €
Analyse Technico-Financière des Réseaux Hydrauliques AG et PVC
EMMANUEL KAZADI CIMANGA
43,90 €
-5%
41,70 €
Sécurité des services hébergés dans le Cloud avec Le WAF
JUSTIN AGENORWOTH ACIRA
60,90 €
-5%
57,85 €
Protocoles de sécurité adaptés aux réseaux de capteurs sans fils
SALAHDDINE KRIT
79,90 €
-5%
75,90 €
Une architecture de pare-feu pour améliorer les performances du réseau d'entreprise
HAILU TEGENAW
43,90 €
-5%
41,70 €
Vérification automatique des protocoles d'authentification des systèmes RFID
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.