Bo Meng
School of Computer, South-Center University for Nationalities, MinYuan Road # 708, HongShan Section, 430074, Wuhan, Hubei, China
Leyuan Niu
School of Computer, South-Center University for Nationalities, MinYuan Road # 708, HongShan Section, 430074, Wuhan, Hubei, China
Yitong Yang
School of Computer, South-Center University for Nationalities, MinYuan Road # 708, HongShan Section, 430074, Wuhan, Hubei, China
Zimao Li
School of Computer, South-Center University for Nationalities, MinYuan Road # 708, HongShan Section, 430074, Wuhan, Hubei, China
PDF Fulltext XML References Citation
How to cite this article
Bo Meng, Leyuan Niu, Yitong Yang and Zimao Li, 2014. Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model. Information Technology Journal, 13: 601-613.
DOI: 10.3923/itj.2014.601.613
URL: https://scialert.net/abstract/?doi=itj.2014.601.613
DOI: 10.3923/itj.2014.601.613
URL: https://scialert.net/abstract/?doi=itj.2014.601.613