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

Table 13

Needham schroeder lowe protocol: corrected version.

---

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

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

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

---