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 Crossref logo


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