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

Table 5

Needham schroeder lowe protocol.

---

1. 𝐴→𝐵∶{𝐴,𝑁_𝑎}_𝑘𝑏

2. 𝐵→𝐴∶{⟨𝑁_𝑎,𝑁_𝑏⟩,𝐵}_𝑘𝑎

3. 𝐴→𝐵∶{𝑁_𝑏}_𝑘𝑏

---