Research Article
Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model
Center of Computation and Experiment, South-Center University for Nationalities, MinYuan Road No. 708, HongShan Section, Wuhan, Hubei, 430074, China
Leyuan Niu
School of Computer, South-Center University for Nationalities, MinYuan Road No. 708, HongShan Section, Wuhan, Hubei, 430074, China
Bo Meng
School of Computer, South-Center University for Nationalities, MinYuan Road No. 708, HongShan Section, Wuhan, Hubei, 430074, China