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: Underwater Wireless Sensor Networks (UWSNs) face significant communication and performance challenges due to their harsh and dynamic underwater environment. To address these issues, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback