Vérification automatique des Protocoles de sécurité
Loading...
Files
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Faculté des Mathématiques et de l’Informatique -UNIVERSITE MOHAMED BOUDIAF DE M’SILA
Abstract
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 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.
Description
Keywords
Protocole de sécurité, propriétés de sécurité, vérification automatique, plateforme AVISPA, langage HLPSL.