Abstract: In order to solve the problem of data communication efficiency of mobile ad hoc network on air platform, the OLSR protocol is briefly introduced, the necessity of improving the protocol ...
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