Abstract
References
PDF
XML
Research Article
Citations for "Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model"
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
Services
Related Articles in ASCI
Search in Google Scholar
View Citation
Report Citation
© 2023 Science Alert. All Rights Reserved