Open AccessA Formal Model for Verification of ZigBee Protocol for Secure Network Authentication
Author(s) -
Rana Muhammad Nadeem,
Abdul Aziz Gill
Publication year - 2017
Publication title -
indian journal of science and technology
Language(s) - English
Resource type - Journals
eISSN - 0974-6846
pISSN - 0974-5645
DOI - 10.17485/ijst/2017/v10i20/113927
Subject(s) - computer science , correctness , formal verification , formal methods , authentication protocol , authentication (law) , computer network , cryptographic protocol , wireless sensor network , embedded system , computer security , theoretical computer science , cryptography , programming language