No Citation Found
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