Security and Communication Networks

Research Article

[Retracted] A Provable Secure Cross-Verification Scheme for IoT Using Public Cloud Computing

Figure 2

ProVerif simulation result.