Fig. 6From: An efficient authentication and key agreement protocol for IoT-enabled devices in distributed cloud computing architectureSimulation results of the AVISPA tool under the four backends analysis. The results of all the four back-end analysis tools provided by AVISPA to simulate the proposed protocols for all entities. The test results of OFMC, CL-AtSe, and SATMC modules respectivelyBack to article page