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]
Abstract is missing.