Security and Communication Networks

Research Article

[Retracted] ECC-Based Authenticated Key Exchange Protocol for Fog-Based IoT Networks

Table 4

Synthesis rules.
Rule NoSynthesis rule
S1
S2
S3
S4