Browsing by Author "ZEROUGA, Oussama"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    Vérification automatique des Protocoles de sécurité
    (Faculté des Mathématiques et de l’Informatique -UNIVERSITE MOHAMED BOUDIAF DE M’SILA, 2013) ZEROUGA, Oussama
    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.