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

Figure 2

Security goals and attacks in cryptography protocols.