Multiaccess Edge Computing Empowered Flying Ad Hoc Networks with Secure Deployment Using Identity-Based Generalized Signcryption

Figure 7

Simulation results for on-the-fly model-checker (OFMC).