Selected procedures in [1] and additional simulation results are presented in detail in this report. We first present the IoT device registration in Section I, and we provide the details of fuzzy-based trust computation in Section II. In the end, we show some additional simulation results for formal validation of the Light-Edge under On-the-Fly Model Checker (OFMC) and Constraint-Logic-based ATtack SEarcher (CLAtse) tools in Section III. See the original paper [1] for more detail.
@article{arxiv.2101.06676,
title = {A Technical Report for Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment},
author = {Ali Shahidinejad and Mostafa Ghobaei-Arani and Alireza Souri and Mohammad Shojafar and Saru Kumari},
journal= {arXiv preprint arXiv:2101.06676},
year = {2021}
}
Comments
5 pages, 13 figures, 5 tables, technical report of IEEE Consumer Electronics Magazine paper (Light-Edge)