Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2.
Mihai-Lica PuraVictor Valeriu PatriciuIon BicaPublished in: SECRYPT (2010)
Keyphrases
- password based authenticated key exchange
- formal verification
- diffie hellman
- coloured petri nets
- model checker
- false discovery rate
- key exchange
- session key
- model checking
- secret key
- key exchange protocol
- bounded model checking
- group communication
- symbolic model checking
- secure communication
- automated verification
- public key
- standard model
- key distribution
- cryptographic protocols
- authentication protocol
- elliptic curve
- security analysis
- security properties
- encryption scheme
- formal methods
- security protocols
- key management
- temporal logic