Back to Search Start Over

Formal verification of G-PAKE using Casper/FDR2: Securing a group PAKE protocol using Casper/FDR2.

Authors :
Pura, Mihai-Lica
Patriciu, Victor-Valeriu
Bica, Ion
Source :
Proceedings of the 2010 International Conference on Security & Cryptography (SECRYPT); 2010, p1-5, 5p
Publication Year :
2010

Details

Language :
English
ISBNs :
9789898425188
Database :
Complementary Index
Journal :
Proceedings of the 2010 International Conference on Security & Cryptography (SECRYPT)
Publication Type :
Conference
Accession number :
81589384

Tools

Authors Abstract Subjects Details