Abstract: Security analysis of ad hoc routing protocols in an adversarial environment is a challenging task. The paper utilizes Event-B to model and verify the Secure Routing Protocol (SRP), a secure ...
Abstract: This systematic literature review critically examines the current state of cache improvement strategies in the routing protocol for Ad-Hoc Networks. Despite the growing significance of ...