Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Les protocoles de sécurité modernes peuvent impliquer un participant humain de façon à ce qu'il compare ou copie de courtes chaines de caractères faisant le pont entre différents appareils. C'est par exemple le cas des protocoles basés sur une authentification à facteur multiples comme les...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018LORR0019/document |