Articles by Leyuan Niu (2)

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

Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model

Bo Meng, Leyuan Niu, Yitong Yang and Zimao Li

Information Technology Journal 13 ( 4 ): 601 - 613 , 2014

Do you have a suggestion for journals

Suggest Journal