Communication Dans Un Congrès
Année : 2008
Ralf Treinen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00496351
Soumis le : mercredi 30 juin 2010-13:28:37
Dernière modification le : vendredi 24 mars 2023-14:52:53
Citer
Steve Kremer, Antoine Mercier, Ralf Treinen. Proving Group Protocols Secure Against Eavesdroppers. 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Aug 2008, Sydney, Australia. pp.116-131, ⟨10.1007/978-3-540-71070-7_9⟩. ⟨hal-00496351⟩
Collections
43
Consultations
0
Téléchargements