TBVPAKE: An efficient and provably secure verifier-based PAKE protocol for IoT applications.
Mingping QiZhiyao CuiGaowei LiangPublished in: J. Syst. Archit. (2023)
Keyphrases
- provably secure
- diffie hellman
- key management
- password based authenticated key exchange
- standard model
- security model
- public key
- signature scheme
- elliptic curve
- key exchange
- group communication
- blind signature
- blind signature scheme
- security properties
- secret key
- key distribution
- hash functions
- encryption scheme
- secure communication
- wireless sensor networks
- ad hoc networks
- bilinear pairings
- formal model
- resource constrained
- security protocols
- security analysis
- security requirements
- lightweight
- digital signature