Indian Journal of Science and Technology
DOI: 10.17485/ijst/2017/v10i20/113927
Year: 2017, Volume: 10, Issue: 20, Pages: 1-7
Original Article
Rana Muhammad Nadeem1 and Abdul Aziz Gill2
1Department of Computer Sciences, Government Postgraduate College Burewala, Pakistan; [email protected] 2Department of Computer Sciences, Superior University, Lahore, Pakistan; [email protected]
Background/Objectives: In the modern age, there is a need of wireless network protocols verification using suitable techniques and tools to meet the security challenges in Wireless Ad-Hoc sensor networks. Methods/Statistical Analysis: For verification of system like ZigBee protocol stack, formal methods are being used. The latest formal verification method called Event-B is used now a day to frame a model for verification of different wireless security protocols like IEEE 802.11 and IEEE 802.15.4. Findings: To describe specific properties in a suitably rich mathematical logic such as first order logic, we need to limit this expressiveness if we are to automatically verify a property. To verify any system properties, temporal logic are used for safety, correctness, reliability in wireless security protocols. In this paper we developed a model/ framework in Event-B for the formal verification of ZigBee protocol and simulate it using RODIN tool. In this framework, models are specified, analyzed and verified by using formal methods. Application/Improvements: This framework leads toward more secure and reliable model having no inconsistencies in ZigBee.
Keywords: Drawn from Title, 5-6 Words, Word Representing the Work, Formal Model, Network Authentication, Secure Communication, Verification of ZigBee, Wireless Protocol
Subscribe now for latest articles and news.
