Improvement of OpenID Connect protocol and its security analysis
LU Jintian;YAO Lili;HE Xudong;MENG Bo;College of Computer Science,South-Central University for Nationalities;
Open ID Connect protocol is widely used in identity authentication field and is one of the newest single sign-on protocols. In this paper, the digital signature and asymmetric encryption were used to improve Open ID connect protocol. The secrecy and authentication of the improved protocol were focused. And then the improved Open ID connect protocol was formalized with the applied PI calculus in the symbolic model, next the secrecy was modeled by query and the authentication was modeled by non-injective relations to test the secrecy and authentication of improved Open ID Connect protocol. Finally the formal model of the Open ID Connect protocol was transformed into the input of the automatic tool ProVerif based on symbol model. The results indicate that the improved Open ID Connect protocol is authenticable and secret.