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

Figure 5

Using timestamp as freshness value in Denning and Sacco protocol.