Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
