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.
翻译:本报告详细介绍了[1]中选定的程序和其他模拟结果。我们首先在第一节中介绍IoT装置登记,并在第二节中提供基于模糊信任的计算细节。最后,我们展示了一些额外的模拟结果,以便正式验证现场示范检查仪(OFMC)和基于控制-Logic的ATtack Searcher(LACtse)工具(LACTSE)下的光电元件和基于Attack Searcher(LACtse)工具(LACtse),详见原文件[1]。