Xingdong Xu
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
PDF Fulltext XML References Citation
How to cite this article
Xingdong Xu, Leyuan Niu and Bo Meng, 2013. Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model. Information Technology Journal, 12: 2273-2285.
DOI: 10.3923/itj.2013.2273.2285
URL: https://scialert.net/abstract/?doi=itj.2013.2273.2285
DOI: 10.3923/itj.2013.2273.2285
URL: https://scialert.net/abstract/?doi=itj.2013.2273.2285