## Appendix A Implementation of Our Proposed CL-BS Scheme in AVISPA
(2019)_ [PERSON], [PERSON]; [PERSON] [PERSON]; [PERSON] Hybrid Communication Scheme for Efficient and Low-Cost Deployment of Future Flying Ad-Hoc Network (FANET). _Drones_**2019**, \(3\), 16. [CrossRef]
* _[PERSON] et al. (2013)_ [PERSON]; [PERSON]; [PERSON], $. Flying ad-hoc Network (FANET): A survey. _Ad Hoc Netw._**2013**, _11_, 1254-1270. [CrossRef]
* _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON] Flying ad-hoc Network (FANET): A review of communication architectures, and routing protocols. In Proceedings of the 2017 First International Conference on Latest trends in Electrical Engineering and Computing Technologies (INTELLECT), Karachi, Pakistan, 15-16 November 2017; pp. 1-9. * _[PERSON] et al. (2019)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Designated Verifier Proxy Blind Signature Scheme for Unmanned Aerial Vehicle Network Based on Multi-access Edge Computing (MEC). _Secur. Commun. Netw._**2019**, _2019_, 8583130. [CrossRef]* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] On the performance of flying ad-hoc Network (FANET) with directional antennas. In Proceedings of the 2018 5 th International Multi-Topic ICT conference (IMTIC), Jamshoro, Pakistan, 25-27 April 2018; pp. 1-8. * _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] Dynamic Routing in Flying Ad-Hoc Networks Using Topology-Based Routing Protocols. _Drones_**2018**, \(2\), 27. [CrossRef]
* [PERSON] et al. (2018) [PERSON]; [PERSON]; [PERSON] A Practical Evaluation on RSA and ECC-Based Cipher Suites for IoT High-Security Energy-Efficient Fog and Mist Computing Devices. _Sensors_**2018**, _18_, 3868. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Internet of Things security and privacy-preserving method through nodes differentiation, concrete cluster centers, multi-signature, and blockchain. _Int. J. Distrib. Sens. Netw._**2018**, _14_, 12. [CrossRef]
* _[PERSON] (2018)_ [PERSON] PUF Based Authentication Protocol for IoT. _Symmetry_**2018**, _10_, 8. [CrossRef]
* _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Certificateless Key-Insulated Generalized Signcryption Scheme without Bilinear Pairings. _Secur. Commun. Netw._**2017**, _2017_, 8405879. [CrossRef]
* _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] A secure authentication scheme based on elliptic curve cryptography for IoT and cloud servers. _J. Supercomput._**2017**, _74_, 12. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Provably Secure Heterogeneous Access Control Scheme for Wireless Body Area Network. _J. Med. Syst._**2018**, _42_, 6. [CrossRef]
* _[PERSON] and [PERSON] (2019)_ [PERSON]; [PERSON] An Energy Efficient Secure Distributed Naming Service for IoT. _Int. J. Adv. Stud. Sci. Res._**2019**, \(3\), 8. * _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]. Provable secure lightweight hyper elliptic curve-based communication system for wireless sensor Network. _Int. J. Commun. Syst._**2018**, _31_, 15. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Lightweight Multi-Message and Multi-Receiver Heterogeneous Hybrid Signcryption Scheme based on Hyper Elliptic Curve. _Int. J. Adv. Comput. Sci. Appl._**2018**, \(9\), 5. [CrossRef]
* _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON] [PERSON] Certificateless Cryptographic Protocols for Efficient Drone-Based Smart City Applications. _IEEE Access_**2017**, \(5\), 3721-3749. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] A Trusted Lightweight Communication Strategy for Flying Named Data Networking. _Sensors_**2018**, _18_, 2683. [CrossRef]
* _[PERSON] and [PERSON] (2019)_ [PERSON]; [PERSON] Authentication and Delegation for Operating a Multi-Drone System. _Sensors_**2019**, _19_, 2066. [CrossRef]
* _[PERSON] et al.