Verification of security protocols: from confidentiality to privacy
1 : Irisa
INRIA-IRISA
Stéphanie Delaune
| Type : | : | oral |
| Langue du texte intégral | : | français |
| Date de production, écriture | : | 08/02/2022 |
| Mots-Clés | : | vérification ; protocoles ; sécurité |
| PDF version | : |  PDF version |
- Poster
