Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model.

Jinli Zhang Jintian Lu Zhongyu Wan Jing Li Bo Meng

Published 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