Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model

Xingdong Xu, Leyuan Niu and Bo Meng

Information Technology Journal 12 ( 12 ): 2273 - 2285 , 2013