ZEROUGA, Oussama2018-02-072018-02-072013http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/2558Notre 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.frProtocole de sécurité, propriétés de sécurité, vérification automatique, plateforme AVISPA, langage HLPSL.Thesis