Abstract: Current network routing protocol design is faced with novel challenges due to evolving network scale, various network service demands, and dynamic network states. However, the conventional ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback