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. In Fatos Xhafa, Leonard Barolli, Flora Amato, editors, Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Proceedings of the 11th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2016, Soonchunhyang University, Asan, KoreaNovember 5-7, 2016. Volume 1 of Lecture Notes on Data Engineering and Communications Technologies, pages 925-934, Springer, 2016. [doi]

Authors

Jinli Zhang

This author has not been identified. Look up 'Jinli Zhang' in Google

Jintian Lu

This author has not been identified. Look up 'Jintian Lu' in Google

Zhongyu Wan

This author has not been identified. Look up 'Zhongyu Wan' in Google

Jing Li

This author has not been identified. Look up 'Jing Li' in Google

Bo Meng

This author has not been identified. Look up 'Bo Meng' in Google