Vérification automatique des Protocoles de sécurité

dc.contributor.authorZEROUGA, Oussama
dc.date.accessioned2018-02-07T12:39:17Z
dc.date.available2018-02-07T12:39:17Z
dc.date.issued2013
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 utilisons la plate-forme AVISPA pour vérifier deux catégories des protocoles de sécurité : les protocoles des systèmes RFID et les protocoles des systèmes de carte à puce. 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 primitives cryptographique et algébrique.en_US
dc.identifier.urihttp://dspace.univ-msila.dz:8080//xmlui/handle/123456789/2558
dc.language.isofren_US
dc.publisherFaculté des Mathématiques et de l’Informatique -UNIVERSITE MOHAMED BOUDIAF DE M’SILAen_US
dc.subjectProtocole de sécurité, propriétés de sécurité, vérification automatique, plateforme AVISPA, langage HLPSL.en_US
dc.titleVérification automatique des Protocoles de sécuritéen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
mémoir.pdf
Size:
4.95 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:

Collections