Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method

Table 1

Example of increasing protocol.

---

1. 𝐴→𝐵∶{{𝐴,𝐵,𝑠𝑒𝑐𝑟𝑒𝑡}_𝑘𝑏}_𝑘𝑎⁻¹

2. 𝐵→𝐴∶{{𝐴,𝐵,𝑠𝑒𝑐𝑟𝑒𝑡}_𝑘𝑎}_𝑘𝑏⁻¹

---