Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model.
Jinli ZhangJintian LuZhongyu WanJing LiBo MengPublished in: 3PGCIC (2016)
Keyphrases
- computational model
- security analysis
- mutual authentication
- authentication protocol
- security model
- smart card
- computational models
- public key
- security requirements
- security properties
- high security
- encryption scheme
- language acquisition
- user authentication
- cognitive architecture
- secure electronic
- encryption algorithm
- computational modeling
- authentication scheme
- private key
- key exchange
- information security
- distributed systems
- artificial intelligence