OpenID 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 OpenID connect protocol. The secrecy and authentication of the improved protocol were focused. And then the improved OpenID 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 OpenID Connect protocol. Finally the formal model of the OpenID Connect protocol was transformed into the input of the automatic tool ProVerif based on symbol model. The results indicate that the improved OpenID Connect protocol is authenticable and secret.

In order to satisfy the real-time requirement of image stabilization, this paper proposed a new matching method based on the improved Scale Invariant Feature Transform (SIFT) features. The presented method extract the key points of the target within the space of a single scale, and the formation of 34-dimensional feature vector, instead of the traditional SIFT algorithm to generate the 128-dimensional feature vector, so that the real-time of the algorithm was greatly improved, while maintaining the registration accuracy. At last, the improved SIFT features were used in the global motion estimation of the electronic image stabilization. The experiments verified the performance of the algorithm.