  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.
