Towards Forward Security Properties for PEKS and IBE.

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