La sécurité dans les réseaux WBAN / Mohamed Bachir Behitila

Public ISBD Titre : La sécurité dans les réseaux WBAN Type de document : texte manuscrit Auteurs : Mohamed Bachir Behitila, Auteur ; Mustapha Farouk Laouti, Auteur ; Abdelkarim Tahari, Directeur de thèse ; Mohamed Bahache, Directeur de thèse Editeur : Laghouat : Université Amar Telidji - Département d'informatique Année de publication : 2019 Importance : 50 p. Format : 30 cm. Accompagnement : 1 disque optique numérique (CD-ROM) Note générale : Option : Réseaux,systèmes et applications réparties Langues : Français Mots-clés : Protocole de sécurité  Propriétés de sécurité  Vérification automatique  Plateforme AVISPA  Langage HLPSL Résumé : Notre travail s'article sur la vérification formelle automatique des protocoles cryptographiques. Dans ce mémoire, nous présentons une modélisation en langage HLPSL et Nous vérifions les propriétés de sécurités suivantes : la confidentialité des données secrètes et l'authentification des entités du système. Enfin nous présentons une étude comparative entre les différents protocoles étudies en terme de complexité d'implémentation des primitive cryptographique et algébrique. note de thèses : Mémoire de master en informatique La sécurité dans les réseaux WBAN [texte manuscrit] / Mohamed Bachir Behitila, Auteur ; Mustapha Farouk Laouti, Auteur ; Abdelkarim Tahari, Directeur de thèse ; Mohamed Bahache, Directeur de thèse . - Laghouat : Université Amar Telidji - Département d'informatique, 2019 . - 50 p. ; 30 cm. + 1 disque optique numérique (CD-ROM). Option : Réseaux,systèmes et applications réparties Langues : Français Mots-clés : Protocole de sécurité  Propriétés de sécurité  Vérification automatique  Plateforme AVISPA  Langage HLPSL Résumé : Notre travail s'article sur la vérification formelle automatique des protocoles cryptographiques. Dans ce mémoire, nous présentons une modélisation en langage HLPSL et Nous vérifions les propriétés de sécurités suivantes : la confidentialité des données secrètes et l'authentification des entités du système. Enfin nous présentons une étude comparative entre les différents protocoles étudies en terme de complexité d'implémentation des primitive cryptographique et algébrique. note de thèses : Mémoire de master en informatique

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MF 01-33	MF 01-33	Thése	BIBLIOTHEQUE DE FACULTE DES SCIENCES	théses (sci)	Disponible

---

page 1/1