Formal Security Analysis of OpenID with GBA Protocol.
Abu Shohel AhmedPeeter LaudPublished in: MobiSec (2011)
Keyphrases
- security analysis
- authentication protocol
- mutual authentication
- security model
- smart card
- high security
- security properties
- security requirements
- public key
- secure electronic
- key exchange
- encryption scheme
- formal methods
- formal model
- encryption algorithm
- user authentication
- private key
- access control policies
- signature scheme
- lightweight
- elliptic curve cryptography