Citation to this article as recorded by
A Formal Model for Verification of ZigBee Protocol for Secure
Network Authentication Indian Journal of Science and Technology Vol. 10, Issue 20, 1, 2017 |
A Formal Model for Verification of ZigBee Protocol for Secure
Network Authentication Indian Journal of Science and Technology Vol. 10, Issue 20, 1, 2017 |
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