La sécurité dans les réseaux WBAN

Simple item page
dc.contributor.authorBehitila, Mohamed Bachir
dc.contributor.authorLaouti, Mustapha Farouk
dc.contributor.authorTahari, Abdou El Karim
dc.date.accessioned2023-01-25T07:57:01Z
dc.date.available2023-01-25T07:57:01Z
dc.date.issued2019
dc.description.abstractNotre 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.
dc.identifier.urihttps://dspace.lagh-univ.dz/handle/123456789/3074
dc.language.isofr
dc.publisherUniversité Amar Telidji - Laghouat - Département d'informatique
dc.titleLa sécurité dans les réseaux WBAN
dc.typeThesis

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
MF 01-33.pdf
Size:
3.45 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
MF 01-33.pdf
Size:
3.45 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download

Collections

Master And Engineer