| Title | Performance Evaluation of a Lightweight IoT Authentication Protocol |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Shehada, Dina, Gawanmeh, Amjad, Fachkha, Claude, Damis, Haitham Abu |
| Conference Name | 2020 3rd International Conference on Signal Processing and Information Security (ICSPIS) |
| Date Published | nov |
| Keywords | authentication, composability, compositionality, formal verification, Human Behavior, Metrics, performance evaluation, policy-based governance, privacy, protocol verification, Protocols, pubcrawl, Repudiation, resilience, Resiliency, Scalability, Signal processing, Tools |
| Abstract | Ensuring security to IoT devices is important in order to provide privacy and quality of services. Proposing a security solution is considered an important step towards achieving protection, however, proving the soundness of the solution is also crucial. In this paper, we propose a methodology for the performance evaluation of lightweight IoT-based authentication protocols based on execution time. Then, a formal verification test is conducted on a lightweight protocol proposed in the literature. The formal verification test conducted with Scyther tool proofs that the model provides mutual authentication, authorization, integrity, confidentiality, non-repudiation, and accountability. The protocol also was proven to provide protection from various attacks. |
| DOI | 10.1109/ICSPIS51252.2020.9340146 |
| Citation Key | shehada_performance_2020 |
Performance Evaluation of a Lightweight IoT Authentication Protocol