## Appendix A Implementation of Our Proposed CL-BS Scheme in AVISPA
(2016)_ [PERSON]; [PERSON]; [PERSON] pCLSC-TKEM: A pairing-free certicateless signcryption-tag key encapsulation mechanism for a privacy-preserving IoT. _Trans. Data Priv._**2016**, \(9\), 101-130. * _[PERSON] et al. (2015)_ [PERSON]; [PERSON]; [PERSON] Efficient Certificateless Signcryption Tag-KEMs for Resource constrained Devices. _arXiv_**2015**, _1510_, 01446. * _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON] Efficient and Secure Identity-based Strong Key Insulated Signature Scheme without Pairings. _J. King Saud Univ. Comput. Inf. Sci._**2018**. * _[PERSON] et al. (2019)_ [PERSON]; [PERSON]; [PERSON] Efficient and provably secure certificateless parallel key-insulated signature without pairing for IIoT environments. _IEEE Syst. J._**2019**, 1-11. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON] UAVs Traffic Control based on Multi-Access Edge Computing. In Proceedings of the 2018 IEEE Global Communications Conference (CLOBECOM 2018), Abu Dhabi, UAE, 9-13 December 2018. * _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Efficient offloading mechanism for UAVs-based value-added services. In Proceedings of the 2017 IEEE International Conference on Communications (ICC), Paris, France, 21-25 May 2017; pp. 1-6. * _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON] Uav-based iot platform: A crowd surveillance use case. _IEEE Commun. Mag._**2017**, _55_, 128-134. [CrossRef]
* ETSI (2016) ETSI. Multi-Access Edge Computing (MEC). In _Framework and Reference Architecture_; DGS MEC; ETSI: Sophia Antipolis, France, 2016; Volume 3. * _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] UAV empowered edge computing environment for cyber-threat detection in smart vehicles. _IEEE Netw._**2018**, _32_, 42-51. [CrossRef]
* _[PERSON] and [PERSON] (2018)_ [PERSON]; [PERSON] Hierarchical Multi-access Edge Computing (MEC) architecture based on context awareness. _Appl. Sci._**2018**, \(8\), 1160. [CrossRef]* (29) [PERSON]; [PERSON]; [PERSON] Simulation study of low latency network architecture using Multi-access Edge Computing (MEC). _IEICE Trans. Inf. Syst._**2017**, _E100D_, 963-972. [CrossRef]
* (30) [PERSON]; [PERSON]; [PERSON]; [PERSON] Computation offloading game for an UAV network in Multi-access Edge Computing (MEC). In Proceedings of the 2017 IEEE International Conference on Communications, ICC 2017, Paris, France, 21-25 May 2017; pp. 1-6. * (31) [PERSON]; [PERSON] Multi-access Edge Computing (MEC) empowers internet of things. _IEICE Trans. Commun._**2018**, _E101B_, 604-619. [CrossRef]
* (32) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Multi-access Edge Computing (MEC) and networking for green and low-latency internet of things. _IEEE Commun. Mag._**2018**, _56_, 39-45. [CrossRef]
* (33) [PERSON]; [PERSON] A Fleet of MEC UAVs to Extend a 5G Network Slice for Video Monitoring with Low-Latency Constraints. _J. Sens. Actuator Netw._**2019**, \(8\), 3. [CrossRef]
* (34) [PERSON] Blind signatures for untraceable payments. _Adv. Cryptol._**1983**, 199-203. * (35) [PERSON]; [PERSON]; [PERSON] Proxy signatures for delegating signing operation. In Proceedings of the 3 rd ACM Conference on Computer and Communications Security, New Delhi, India, 14-15 March 1996; pp. 48-56. * (36) [PERSON]; [PERSON]; [PERSON] Digital proxy blind signature schemes based on DLP and ECDLP. _MM Res. Prepr._**2002**, _21_, 212-217. * (37) [PERSON] Efficient pairing-free provably secure identity-based proxy blind signature scheme. _Secur. Commun. Netw._**2013**, \(6\), 593-601. [CrossRef]
* (38) [PERSON]; [PERSON] A proxy partially blind signature scheme with proxy revocation. _J. Ambient Intell. Humaniz. Comput._**2013**, \(4\), 255-263. [CrossRef]
* (39) [PERSON]; [PERSON] Efficient message recovery proxy blind signature scheme from pairings. _Trans. Emerg. Telecommun. Technol._**2017**, _28_, e3167. [CrossRef]
* (40) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] An efficient identity-based proxy blind signature for semi offline services. _Wirel. Commun. Mob.