{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T10:25:29Z","timestamp":1768818329042,"version":"3.49.0"},"reference-count":73,"publisher":"MDPI AG","issue":"22","license":[{"start":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T00:00:00Z","timestamp":1605484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>The Internet of things (IoT) will accommodate several billions of devices to the Internet to enhance human society as well as to improve the quality of living. A huge number of sensors, actuators, gateways, servers, and related end-user applications will be connected to the Internet. All these entities require identities to communicate with each other. The communicating devices may have mobility and currently, the only main identity solution is IP based identity management which is not suitable for the authentication and authorization of the heterogeneous IoT devices. Sometimes devices and applications need to communicate in real-time to make decisions within very short times. Most of the recently proposed solutions for identity management are cloud-based. Those cloud-based identity management solutions are not feasible for heterogeneous IoT devices. In this paper, we have proposed an edge-fog based decentralized identity management and authentication solution for IoT devices (IoTD) and edge IoT gateways (EIoTG). We have also presented a secure communication protocol for communication between edge IoT devices and edge IoT gateways. The proposed security protocols are verified using Scyther formal verification tool, which is a popular tool for automated verification of security protocols. The proposed model is specified using the PROMELA language. SPIN model checker is used to confirm the specification of the proposed model. The results show different message flows without any error.<\/jats:p>","DOI":"10.3390\/s20226546","type":"journal-article","created":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T21:48:52Z","timestamp":1605563332000},"page":"6546","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["IMSC-EIoTD: Identity Management and Secure Communication for Edge IoT Devices"],"prefix":"10.3390","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9423-6270","authenticated-orcid":false,"given":"Kazi Masum","family":"Sadique","sequence":"first","affiliation":[{"name":"Department of Computer and Systems Sciences, Stockholm University, 16407 Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5924-5457","authenticated-orcid":false,"given":"Rahim","family":"Rahmani","sequence":"additional","affiliation":[{"name":"Department of Computer and Systems Sciences, Stockholm University, 16407 Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Johannesson","sequence":"additional","affiliation":[{"name":"Department of Computer and Systems Sciences, Stockholm University, 16407 Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.procs.2018.10.168","article-title":"Towards Security on Internet of Things: Applications and Challenges in Technology","volume":"141","author":"Sadique","year":"2018","journal-title":"Procedia Comput. Sci."},{"key":"ref_2","unstructured":"Miorandi, D., Sicari, S., De Pellegrini, F., and Chlamtac, I. (2017, January 10\u201311). Internet of Things: Vision, application areas and research challenges. Proceedings of the International Conference on IoT Society Mobile, Analytics and Cloud, I-SMAC 2017, Palladam, India."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1109\/JCN.2019.000048","article-title":"On the security aspects of Internet of Things: A systematic literature review","volume":"21","author":"Macedo","year":"2019","journal-title":"J. Commun. Netw."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s11277-011-0288-5","article-title":"Internet of things: Applications and challenges in technology and standardization","volume":"58","author":"Bandyopadhyay","year":"2011","journal-title":"Wirel. Pers. Commun."},{"key":"ref_5","first-page":"291","article-title":"A survey on Internet of Things architectures","volume":"30","author":"Ray","year":"2018","journal-title":"J. King Saud Univ. Comput. Inf. Sci."},{"key":"ref_6","first-page":"1","article-title":"Securing the Internet of Things: New Perspectives and Research Challenges","volume":"1","author":"Restuccia","year":"2018","journal-title":"IEEE Internet Things J."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.comnet.2018.03.012","article-title":"Internet of things security: A top-down survey","volume":"141","author":"Kouicem","year":"2018","journal-title":"Comput. Netw."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1109\/JIOT.2017.2683200","article-title":"A Survey on Internet of Things: Architecture, Enabling Technologies, Security and Privacy, and Applications","volume":"4","author":"Lin","year":"2017","journal-title":"IEEE Internet Things J."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Sadique, K.M., Rahmani, R., and Johannesson, P. (2020, January 13\u201314). Fog Computing for Trust in the Internet of Things (IoT): A Systematic Literature Review. Proceedings of the 2020 International Conference on Computer Science, Engineering and Applications, Gunupur, India.","DOI":"10.1109\/ICCSEA49143.2020.9132861"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/JIOT.2014.2323395","article-title":"Securing the internet of things: A standardization perspective","volume":"1","author":"Keoh","year":"2014","journal-title":"IEEE Internet Things J."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"2347","DOI":"10.1109\/COMST.2015.2444095","article-title":"Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications","volume":"17","author":"Guizani","year":"2015","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Sadique, K.M., Rahmani, R., and Johannesson, P. (2020). Identity Management in Internet of Things: A Software-Defined Networking Approach, Springer.","DOI":"10.1007\/978-981-15-0829-5_48"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Zhang, Z.K., Cho, M.C.Y., Wang, C.W., Hsu, C.W., Chen, C.K., and Shieh, S. (2014, January 17\u201319). IoT security: Ongoing challenges and research opportunities. Proceedings of the 2014 IEEE 7th International Conference on Service-Oriented Computing and Applications, Matsue, Japan.","DOI":"10.1109\/SOCA.2014.58"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"1250","DOI":"10.1109\/JIOT.2017.2694844","article-title":"A Survey on Security and Privacy Issues in Internet-of-Things","volume":"4","author":"Yang","year":"2017","journal-title":"IEEE Internet Things J."},{"key":"ref_15","first-page":"22","article-title":"Open Issues and Security Challenges of Data Communication Channels in Distributed Internet of Things (IoT): A Survey","volume":"3","author":"Ezema","year":"2018","journal-title":"Circ. Comput. Sci."},{"key":"ref_16","first-page":"27","article-title":"Authentication and Authorization for the Internet of Things","volume":"17","year":"2017","journal-title":"IEEE Comput. Soc."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Kim, H., Kang, E., Lee, E.A., and Broman, D. (2017, January 18\u201321). A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. Proceedings of the 2nd International Conference on Internet-of-Things Design and Implementation, Pittsburgh, PA, USA.","DOI":"10.1145\/3054977.3054980"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/j.comnet.2014.11.008","article-title":"Security, privacy and trust in Internet of things: The road ahead","volume":"76","author":"Sicari","year":"2015","journal-title":"Comput. Netw."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1294","DOI":"10.1109\/COMST.2015.2388550","article-title":"Security for the Internet of Things: A Survey of Existing Protocols and Open Research Issues","volume":"17","author":"Granjal","year":"2015","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"ref_20","first-page":"2159","article-title":"Distributed Data Aggregation Scheduling in Wireless Sensor Networks","volume":"11","author":"Yo","year":"2015","journal-title":"ACM Trans. Sens. Netw."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"2022","DOI":"10.1016\/j.comnet.2009.02.023","article-title":"Secure data aggregation in wireless sensor networks: A comprehensive overview","volume":"53","author":"Ozdemir","year":"2009","journal-title":"Comput. Netw."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Anantharam, P., Barnaghi, P., and Sheth, A. (2013, January 12\u201314). Data processing and semantics for advanced internet of things (IoT) applications: Modeling, annotation, integration, and perception. Proceedings of the International Conference on Web Intelligence, Mining and Semantics, Madrid, Spain.","DOI":"10.1145\/2479787.2479821"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.jss.2016.06.011","article-title":"Issues in complex event processing: Status and prospects in the Big Data era","volume":"127","author":"Flouris","year":"2017","journal-title":"J. Syst. Softw."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jnca.2017.12.001","article-title":"Distributed data stream processing and edge computing: A survey on resource elasticity and future directions","volume":"103","author":"Buyya","year":"2018","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_25","unstructured":"Amadeo, M., Campolo, C., Molinaro, A., and Ruggeri, G. (2018, January 2\u20134). IoT data processing at the edge with named data networking. Proceedings of the 24th European Wireless 2018 \u201cWireless Futures in the Era of Network Programmability, EW 2018, Catania, Italy."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1706","DOI":"10.1109\/ACCESS.2017.2780087","article-title":"Edge of things: The big picture on the integration of edge, IoT and the cloud in a distributed computing environment","volume":"6","author":"Sankar","year":"2018","journal-title":"IEEE Access"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Burhan, M., Rehman, R.A., Khan, B., and Kim, B.S. (2018). IoT elements, layered architectures and security issues: A comprehensive survey. Sensors, 18.","DOI":"10.3390\/s18092796"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"37","DOI":"10.14257\/ijmue.2015.10.12.05","article-title":"Layering the Internet-of-Things with Multicasting in Flow- Sensors for Internet-of-Services","volume":"10","author":"Rahmani","year":"2015","journal-title":"Int. J. Multimed. Ubiquitous Eng."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Sadique, K.M., Rahmani, R., and Johannesson, P. (2018, January 17\u201320). Trust in Internet of Things: An architecture for the future IoT network. Proceedings of the 2018 International Conference on Innovation in Engineering and Technology (ICIET), Stuttgart, Germany.","DOI":"10.1109\/CIET.2018.8660784"},{"key":"ref_30","unstructured":"Pramanik, P.K.D., and Choudhury, P. (2018). IoT data processing: The different archetypes and their security and privacy assessment. Internet of Things (IoT) Security: Fundamentals, Techniques and Applications, River Publisher."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/JHS-190606","article-title":"Identity management using SAML for mobile clients and Internet of Things","volume":"25","author":"Sobh","year":"2019","journal-title":"J. High Speed Netw."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s12243-018-0641-8","article-title":"Cloud-based federated identity for the Internet of Things","volume":"73","author":"Fremantle","year":"2018","journal-title":"Ann. Telecommun."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Bierzynski, K., Escobar, A., and Eberl, M. (2017, January 8\u201311). Cloud, fog and edge: Cooperation for the future?. Proceedings of the 2017 2nd International Conference on Fog and Mobile Edge Computing (FMEC), Valencia, Spain.","DOI":"10.1109\/FMEC.2017.7946409"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/JIOT.2017.2767608","article-title":"Future Edge Cloud and Edge Computing for Internet of Things Applications","volume":"5","author":"Pan","year":"2018","journal-title":"IEEE Internet Things J."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Dastjerdi, A.V., Gupta, H., Calheiros, R.N., Ghosh, S.K., and Buyya, R. (2016). Fog Computing: Principles, Architectures, and Applications, Elsevier Inc.","DOI":"10.1016\/B978-0-12-805395-9.00004-6"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1109\/JIOT.2017.2750180","article-title":"Mobile Edge Computing: A Survey","volume":"5","author":"Abbas","year":"2018","journal-title":"IEEE Internet Things J."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1109\/COMST.2017.2762345","article-title":"Securing Fog Computing for Internet of Things Applications: Challenges and Solutions","volume":"20","author":"Ni","year":"2018","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1016\/j.future.2016.11.009","article-title":"Mobile edge computing, Fog et al.: A survey and analysis of security threats and challenges","volume":"78","author":"Roman","year":"2018","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1016\/j.jnca.2014.01.014","article-title":"A survey on trust management for Internet of Things","volume":"42","author":"Yan","year":"2014","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"El-Hajj, M., Fadlallah, A., Chamoun, M., and Serhrouchni, A. (2019). A survey of internet of things (IoT) authentication schemes. Sensors, 19.","DOI":"10.3390\/s19051141"},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1007\/978-3-030-44041-1_104","article-title":"Identity and Access Management for IoT in Smart Grid","volume":"1151","author":"Abreu","year":"2020","journal-title":"Adv. Intell. Syst. Comput."},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Hsu, C.L., Chuang, T.H., Chen, Y.H., Lin, T.W., and Lu, H.C. (2014, January 12\u201314). A dynamic identity end-to-end authentication key exchange protocol for IoT environments. Proceedings of the 2017 12th International Conference on Digital Information Management ICDIM 2017, Fukuoka, Japan.","DOI":"10.1109\/ICDIM.2017.8244673"},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Van Thuan, D., Butkus, P., and Van Thanh, D. (2014, January 28\u201330). A user centric identity management for Internet of Things. Proceedings of the 2014 International Conference on IT Convergence and Security (ICITCS), Beijing, China.","DOI":"10.1109\/ICITCS.2014.7021724"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-C\u00e1rdenas, A., Masip-Bruin, X., Mar\u00edn-Tordera, E., and Kahvazadeh, S. (2019). A Novel and Scalable Naming Strategy for IoT Scenarios, Springer Nature Switzerland AG.","DOI":"10.1007\/978-3-030-02686-8_10"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s11277-009-9697-0","article-title":"Identities in the future internet of things","volume":"49","author":"Sarma","year":"2009","journal-title":"Wirel. Pers. Commun."},{"key":"ref_46","doi-asserted-by":"crossref","unstructured":"Santos, B., Dzogovic, B., Feng, B., Do, V.T., Jacot, N., and Van Do, T. (2019, January 10\u201313). Cross-Federation Identities for IoT Devices in Cellular Networks. Proceedings of the 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Zaragoza, Spain.","DOI":"10.1109\/ETFA.2019.8868982"},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Kirubadevi, T., Ramamoorthy, S., and Rajavarman, V.N. (2019). Device identification and authentication for internet of things using predefined characteristics. J. Phys. Conf. Ser., 1362.","DOI":"10.1088\/1742-6596\/1362\/1\/012067"},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Ganzha, M., Paprzycki, M., Pawlowski, W., Szmeja, P., and Wasielewska, K. (2018, January 20\u201324). Identifier management in semantic interoperability solutions for IoT. Proceedings of the 2018 IEEE International Conference on Communications Workshops (ICC Workshops), Kansas City, MO, USA.","DOI":"10.1109\/ICCW.2018.8403752"},{"key":"ref_49","first-page":"32","article-title":"Cross-domain: Identity of things","volume":"94","author":"Weidenfeller","year":"2017","journal-title":"Ericsson Rev."},{"key":"ref_50","unstructured":"El Kaed, C., and Ponnouradjane, A. (2017, January 11\u201314). A Model Driven Approach Accelerating Ontology-based IoT Applications Development. Proceedings of the Posters and Demos Track of the 13th International Conference on Semantic Systems\u2014SEMANTiCS2017 Co-Located with the 13th International Conference on Semantic Systems, Amsterdam, The Netherlands."},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"2322","DOI":"10.1109\/COMST.2017.2745201","article-title":"A Survey on Mobile Edge Computing: The Communication Perspective","volume":"19","author":"Mao","year":"2017","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_52","unstructured":"Murdoch, S.J. (2015). Introduction to Trusted Execution Environments (TEE)\u2014IY5606, CiteSeerx."},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Sabt, M., Achemlal, M., and Bouabdallah, A. (2015, January 20\u201322). Trusted execution environment: What it is, and what it is not. Proceedings of the 2015 IEEE Trustcom\/BigDataSE\/ISPA, Helsinki, Finland.","DOI":"10.1109\/Trustcom.2015.357"},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"McGillion, B., Dettenborn, T., Nyman, T., and Asokan, N. (2015, January 20\u201322). Open-TEE\u2014An open virtual trusted execution environment. Proceedings of the 2015 IEEE Trustcom\/BigDataSE\/ISPA, Helsinki, Finland.","DOI":"10.1109\/Trustcom.2015.400"},{"key":"ref_55","unstructured":"Chen, S., Kalbarczyk, Z., Xu, J., and Iyer, R.K. (2003, January 22\u201325). A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. Proceedings of the IEEE International Conference on Dependable Systems and Networks, San Francisco, CA, USA."},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1090\/S0025-5718-1987-0866109-5","article-title":"Elliptic Curve Cryptosystems","volume":"48","author":"Koblitz","year":"1987","journal-title":"Math. Comput."},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Wei, J., Viet, T., Phuong, X., Yang, G., and Member, S. (2020). An Efficient Privacy Preserving Message Authentication Scheme for Internet-of-Things. Internet Things.","DOI":"10.1109\/TII.2020.2972623"},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"18209","DOI":"10.1109\/ACCESS.2018.2820162","article-title":"Data Security and Privacy-Preserving in Edge Computing Paradigm: Survey and Open Issues","volume":"6","author":"Zhang","year":"2018","journal-title":"IEEE Access"},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"1344","DOI":"10.1016\/j.comnet.2012.12.017","article-title":"Cyber security in the Smart Grid: Survey and challenges","volume":"57","author":"Wang","year":"2013","journal-title":"Comput. Netw."},{"key":"ref_60","doi-asserted-by":"crossref","unstructured":"Staite, C., and Bahsoon, R. (2012, January 25\u201328). Evaluating identity management architectures. Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, Bertinoro, Italy.","DOI":"10.1145\/2304656.2304659"},{"key":"ref_61","unstructured":"Boujezza, H., Al-Mufti, M., Ayed, H.K., and Saidane, L. (December, January 29). A taxonomy of identities management systems in IOT. Proceedings of the IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA), Agadir, Morocco."},{"key":"ref_62","doi-asserted-by":"crossref","unstructured":"Haidar, A.N., and Abdallah, A.E. (2008, January 8\u201310). Comparison and evaluation of identity management in three architectures for virtual organizations. Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security, Naples, Italy.","DOI":"10.1109\/IAS.2008.67"},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"2483","DOI":"10.1109\/JIOT.2017.2767291","article-title":"Evaluating critical security issues of the IoT world: Present and future challenges","volume":"5","author":"Frustaci","year":"2018","journal-title":"IEEE Internet Things J."},{"key":"ref_64","unstructured":"(2020, October 02). The Scyther Tool. Available online: http:\/\/www.cs.ox.ac.uk\/people\/cas.cremers\/scyther\/."},{"key":"ref_65","unstructured":"Cremers, C.J.F. (2008, January 7\u201314). The scyther tool: Verification, falsification, and analysis of security protocols\u2014Tool paper. Proceedings of the 20th International Conference, CAV 2008, Princeton, NJ, USA."},{"key":"ref_66","doi-asserted-by":"crossref","unstructured":"Darbandeh, F.G., and Safkhani, M. (2020). A New Lightweight User Authentication and Key Agreement Scheme for WSN. Wirel. Pers. Commun.","DOI":"10.1007\/s11277-020-07527-4"},{"key":"ref_67","doi-asserted-by":"crossref","first-page":"165536","DOI":"10.1109\/ACCESS.2020.3021701","article-title":"A Novel Lightweight Block Cipher-Based Mutual Authentication Protocol for Constrained Environments","volume":"8","author":"Trinh","year":"2020","journal-title":"IEEE Access"},{"key":"ref_68","first-page":"102588","article-title":"A provably secure ECC-based roaming authentication scheme for global mobility networks","volume":"54","author":"Nikooghadam","year":"2020","journal-title":"J. Inf. Secur. Appl."},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.comcom.2020.08.016","article-title":"A smart lightweight privacy preservation scheme for IoT-based UAV communication systems","volume":"162","author":"Deebak","year":"2020","journal-title":"Comput. Commun."},{"key":"ref_70","doi-asserted-by":"crossref","first-page":"101194","DOI":"10.1016\/j.pmcj.2020.101194","article-title":"ECCbAP: A secure ECC-based authentication protocol for IoT edge devices","volume":"67","author":"Rostampour","year":"2020","journal-title":"Pervasive Mob. Comput."},{"key":"ref_71","doi-asserted-by":"crossref","unstructured":"Adeli, M., Bagheri, N., and Meimani, H.R. (2020). On the designing a secure biometric-based remote patient authentication scheme for mobile healthcare environments. J. Ambient Intell. Humaniz. Comput.","DOI":"10.1007\/s12652-020-02465-2"},{"key":"ref_72","unstructured":"Holzmann, G.J. (2003). SPIN Model Checker. The: Primer and Reference Manual, Addison-Wesley Professional."},{"key":"ref_73","unstructured":"Ben-Ari, M. (2008). Principles of the Spin Model Checker, Springer-Verlag London Ltd."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/20\/22\/6546\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T10:34:18Z","timestamp":1760178858000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/20\/22\/6546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,16]]},"references-count":73,"journal-issue":{"issue":"22","published-online":{"date-parts":[[2020,11]]}},"alternative-id":["s20226546"],"URL":"https:\/\/doi.org\/10.3390\/s20226546","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,16]]}}}