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/v10i19/113927
Subject(s) - computer science , authentication protocol , computer network , protocol (science) , authentication (law) , computer security , lightweight extensible authentication protocol , embedded system , medicine , alternative medicine , pathology