Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire
Les échanges des informations confidentielles ou critiques dans un environnement public, et donc potentiellement hostile, nécessitent l'emploi de techniques cryptographiques (protocoles et primitives). Malheureusement, l'expérience montre qu'une mauvaise conception, ou une express...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016GREAM002/document |