Performance Evaluation of a Lightweight IoT Authentication Protocol
作者： Claude Fachkha , Amjad Gawanmeh , Dina Shehada , Haitham Abu Damis
DOI: 10.1109/ICSPIS51252.2020.9340146
关键词: Protocol (object-oriented programming) 、 Lightweight protocol 、 Formal verification 、 Mutual authentication 、 Computer security 、 Authorization 、 Authentication protocol 、 Authentication 、 Computer science
摘要: Ensuring security to IoT devices is important in order provide privacy and quality of services. Proposing a solution considered an step towards achieving protection, however, proving the soundness also crucial. In this paper, we propose methodology for performance evaluation lightweight IoT-based authentication protocols based on execution time. Then, formal verification test conducted protocol proposed literature. The with Scyther tool proofs that model provides mutual authentication, authorization, integrity, confidentiality, non-repudiation, accountability. was proven protection from various attacks.
sci-hub.st 参考文章(3)
Mahmud Hossain, Ragib Hasan, Boot-IoT: A Privacy-Aware Authentication Scheme for Secure Bootstrapping of IoT Nodes the internet of things. pp. 1- 8 ,(2017) , 10.1109/IEEE.ICIOT.2017.10
Edmund M Clarke, Thomas A Henzinger, Helmut Veith, Roderick Bloem, Parosh Aziz Abdulla, Rajeev Alur, Christel Baier, Clark Barrett, David Basin, Dirk Beyer, Armin Biere, Roderick Bloem, Ahmed Bouajjani, Patricia Bouyer, Julian Bradfield, Randal E. Bryant, Sagar Chaki, Krishnendu Chatterjee, Edmund M. Clarke, Rance Cleaveland, Cas Cremers, Dennis Dams, Luca de Alfaro, Laurent Doyen, Cindy Eisner, Javier Esparza, Uli Fahrenberg, Dana Fisman, Vojtěch Forejt, Goran Frehse, Dimitra Giannakopoulou, Patrice Godefroid, Orna Grumberg, Sumit Gulwani, Aarti Gupta, Arie Gurfinkel, Thomas A. Henzinger, Gerard J. Holzmann, Sharad Malik, Nicolas Markey, Joao Marques-Silva, Kenneth L. McMillan, Catherine Meadows, Tom Melham, Kedar S. Namjoshi, Joël Ouaknine, George J. Pappas, Corina S. Păsăreanu, Doron Peled, Nir Piterman, André Platzer, Amir Pnueli, Andreas Podelski, Shaz Qadeer, Jean-François Raskin, A.W. Roscoe, Andrey Rybalchenko, David A. Schmidt, Koushik Sen, Sanjit A. Seshia, Natarajan S, Handbook of Model Checking Springer International Publishing. ,(2021) , 10.1007/978-3-319-10575-8
Rafael Martínez-Peláez, Homero Toral-Cruz, Jorge R. Parra-Michel, Vicente García, Luis J. Mena, Vanessa G. Félix, Alberto Ochoa-Brust, An Enhanced Lightweight IoT-based Authentication Scheme in Cloud Computing Circumstances. Sensors. ,vol. 19, pp. 2098- ,(2019) , 10.3390/S19092098