Light-Edge技术报告：边缘-云环境下物联网设备的轻量级认证协议
密码学与安全
2021-01-19 v1 分布式、并行与集群计算
信息论
math.IT
摘要
本报告详细展示了[1]中的选定流程以及额外的仿真结果。我们首先在第I节给出物联网设备注册，并在第II节提供基于模糊的信任计算的细节。最后，我们在第III节展示了在On-the-Fly Model Checker (OFMC)和Constraint-Logic-based ATtack SEarcher (CLAtse)工具下对Light-Edge进行形式化验证的一些额外仿真结果。更多细节请参见原论文[1]。
引用
@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}
}
备注
5 pages, 13 figures, 5 tables, technical report of IEEE Consumer Electronics Magazine paper (Light-Edge)