## Appendix A Implementation of Our Proposed CL-BS Scheme in AVISPA
Comput._**2018**, _2018_, 5401890. [CrossRef]
* (41) [PERSON]; [PERSON]; [PERSON] Designated verifier proofs and their applications. In Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques, Berlin, Heidelberg, 13 July 2001; pp. 143-154. * (42) [PERSON]; [PERSON]; [PERSON] Designated-receiver proxy signature scheme for electronic commerce. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Washington, DC, USA, 10 November 2003; pp. 384-389. * (43) [PERSON]; [PERSON]; [PERSON]; [PERSON] Short designated verifier proxy signature from pairings. In Proceedings of the International Conference on Embedded and Ubiquitous Computing, Nagasaki, Japan, 6-9 December 2005; pp. 835-844. * (44) [PERSON] Short designated verifier proxy signatures. _Comput. Electr. Eng._**2011**, _37_, 180-186. [CrossRef]
* (45) [PERSON]; [PERSON] A provably secure identity-based strong designated verifier proxy signature scheme from bilinear pairings. _J. King Saud Univ. Comput. Inf. Sci._**2014**, _26_, 55-67. [CrossRef]
* (46) [PERSON]; [PERSON]; [PERSON]; [PERSON] Short and provably secure designated verifier proxy signature scheme. _IET Inf. Secur._**2016**, _10_, 69-79. [CrossRef]
* (47) [PERSON]; [PERSON] Design of provably secure and efficient certifiateless blind signature scheme using bilinear pairing. _Secur. Commun. Netw._**2015**, \(8\), 4319-4332. [CrossRef]
* (48) [PERSON]; [PERSON]; [PERSON] CLB-ECC: Certificateless Blind Signature Using ECC. _IJPS_**2017**, _13_, 970-986. * (49) [PERSON]; [PERSON]; [PERSON]; [PERSON] New Efficient Certificateless Blind Signature Scheme. In Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, Tianjin, China, 23-26 August 2016; pp. 349-353. * (50) [PERSON] Elliptic curve cryptosystems. _Math. Comput._**1987**, _48_, 203-209. [CrossRef]
* (51) Hyperelliptic Curve. 2019. Available online: [[https://en.wikipedia.org/wiki/Hyperelliptic_curve](https://en.wikipedia.org/wiki/Hyperelliptic_curve)]([https://en.wikipedia.org/wiki/Hyperelliptic_curve](https://en.wikipedia.org/wiki/Hyperelliptic_curve)) (accessed on 25 October 2019). * (52) [PERSON]; [PERSON]; [PERSON]; [PERSON] Hyperelliptic curve cryptosystems: Closing the performance gap to elliptic curves. In _International Workshop on Cryptographic Hardware and Embedded Systems_; Springer: Berlin, Heidelberg, 2003; pp. 351-365. * (53) [PERSON] Computing in Jacobian of a Hyperelliptic Curve. _Math. Comput._**1987**, _48_, 95-101. [CrossRef]* _[PERSON] and [PERSON] (1983)_ [PERSON]; [PERSON] On the security of public key protocols. _IEEE Trans. Inf. Theory_**1983**, _29_, 198-208. [CrossRef]
* _[PERSON] et al. (2019)_ [PERSON]; [PERSON]; [PERSON] 5G Ultra-Reliable Low-Latency Communication Implementation Challenges and Operational Issues with IoT Devices. _Electronics_**2019**, \(8\), 981. [CrossRef]
* AVISPA (2019) AVISPA. Automated Validation of Internet Security Protocols and Applications. 2019. Available online: [[http://www.avispa-project.org/](http://www.avispa-project.org/)]([http://www.avispa-project.org/](http://www.avispa-project.org/)) (accessed on 25 October 2019). * AVISPA (2019) AVISPA. SPAN: A Security Protocol Animator for AVISPA. 2019. Available online: [[http://www.avispa-project.org/](http://www.avispa-project.org/)]([http://www.avispa-project.org/](http://www.avispa-project.org/)) (accessed on 25 October 2019). * _[PERSON] (2005)_ [PERSON] The high-level protocol specification language HLPSL developed in the EU project avispa. In Proceedings of the APPSEM 2005 Workshop, Tallinn, Finland, 13-15 September 2005; pp. 1-2. * _[PERSON] et al. (2005)_ [PERSON]; [PERSON]; [PERSON] OFMC: A symbolic model checker for security protocols. _Int. J. Inf. Secur._**2005**, \(4\), 181-208. [CrossRef]
* _[PERSON] (2006)_ [PERSON] The CL-Atse porotocol analyser. In Proceedings of the International Coneference on Rewriting Techniques and Applications (RTA), Seattle, WA, USA, 12-14 August 2006; pp. 227-286. * _[PERSON] et al.