Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model
['Jinli Zhang', 'Jintian Lu', 'Zhongyu Wan', 'Jing Li', 'Bo Meng']
Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model