Sign in
Towards Forward Security Properties for PEKS and IBE.
Qiang Tang
Published in:
ACISP (2015)
Keyphrases
</>
security properties
security analysis
security requirements
formal model
encryption scheme
security vulnerabilities
diffie hellman
security protocols
cryptographic protocols
formal methods
key agreement
knowledge acquisition
smart card
standard model