Formal Modeling and Verification of Trusted OLSR Protocol Using I-SPIN Model Checker
Harpreet Kaur · IOSR Journal of Computer Engineering · 2012
An ad hoc network is a momentary network set up by the self-managed nodes that operate and communicate randomly with or without a little support of a network infrastructure.Due to security vulnerabilities ad hoc networks are defenseless against attacks of malicious nodes as the nodes in these networks are not secured by firewalls.In order to enhance the security of conventional OLSR Protocol trust is incorporated as additional security measure in the functioning of the protocol.To validate the improved version of the protocol a technique of formal modeling and verification is used by the utilization of established Model Checker I-SPIN and PROMELA language for validation of Trusted Optimized link state Protocol (TOLSR).