Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien; Véronique Cortier; Stéphanie Delaune

doi:10.1007/978-3-319-24177-7_12

Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien ^{1, 2} Véronique Cortier ¹ Stéphanie Delaune ²

1 CASSIS - Combination of approaches to the security of infinite states systems

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

2 LSV - Laboratoire Spécification et Vérification [Cachan]

Type de document :

Communication dans un congrès

ESORICS 2015 - 20th European Symposium on Research in Computer Security, Sep 2015, Vienne, Austria. 〈10.1007/978-3-319-24177-7_12〉

Domaine :

Informatique [cs] / Cryptographie et sécurité [cs.CR]

Liste complète des métadonnées

https://hal.inria.fr/hal-01238163
Contributeur : Véronique Cortier <>
Soumis le : vendredi 4 décembre 2015 - 14:02:46
Dernière modification le : mardi 18 décembre 2018 - 16:38:25

Checking Trace Equivalence: How to Get Rid of Nonces?

Identifiants

Collections

Citation

Exporter

Métriques

841

Contact

Checking Trace Equivalence: How to Get Rid of Nonces?

Identifiants

Collections

Citation

Exporter

Partager

Métriques

841

Contact