Preuves symboliques de propriétés d’indistinguabilité calculatoire
Notre société utilise de nombreux systèmes de communications. Parce que ces systèmes sont omniprésents et sont utilisés pour échanger des informations sensibles, ils doivent être protégés. Cela est fait à l'aide de protocoles cryptographiques. Il est crucial que ces protocoles assurent bien les...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019SACLN029/document |