An Investigation of Some Forward Security Properties for PEKS and IBE.
Qiang TangPublished in: IACR Cryptol. ePrint Arch. (2014)
Keyphrases
- security properties
- security analysis
- formal model
- security requirements
- encryption scheme
- security protocols
- cryptographic protocols
- formal methods
- security vulnerabilities
- key agreement
- diffie hellman
- multi agent systems
- real time
- public key
- image quality
- software engineering
- object oriented
- artificial intelligence