Analyse des protocoles cryptographiques par les fonctions témoins

Les protocoles cryptographiques constituent le coeur de la sécurité dans les communications de tous genres. Ils assurent l’authentification des agents, la confidentialité des données, leur intégrité, l’atomicité des biens et de l’argent, la non-répudiation, etc. Ils sont utilisés dans tous les domai...

Full description

Bibliographic Details
Main Author: Fattahi, Jaouhar
Other Authors: Mejri, Mohamed
Format: Doctoral Thesis
Language:French
Published: Université Laval 2016
Subjects:
Online Access:http://hdl.handle.net/20.500.11794/26678