Communication Dans Un Congrès
Année : 2018
Stéphanie Delaune : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01906651
Soumis le : samedi 27 octobre 2018-11:24:20
Dernière modification le : jeudi 28 mars 2024-03:21:22
Dates et versions
Identifiants
- HAL Id : hal-01906651 , version 1
Citer
Stéphanie Delaune, David Baelde, Lucca Hirschi. POR for Security Protocol Equivalences - Beyond Action-Determinism. Computer Security - 23rd European Symposium on Research in Computer Security, 2018, Barcelone, Spain. ⟨hal-01906651⟩
Collections
201
Consultations
0
Téléchargements