Symbolic verification of distance bounding protocols
Domaines
Cryptographie et sécurité [cs.CR]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Alexandre Debant : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02018280
Soumis le : vendredi 15 février 2019-17:24:35
Dernière modification le : mardi 27 août 2024-12:49:59
Archivage à long terme le : vendredi 17 mai 2019-09:21:13