SF-LAP: Secure M2M Communication in IIoT with a Single-Factor Lightweight Authentication Protocol

Figure 8

AVISPA result using OMFC and ATSE back-end.