A Novel Machine Learning-Based Approach for Security Analysis of Authentication and Key Agreement Protocols

Figure 6

Using nonce as freshness value in MSR protocol.