Research Article

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

Table 2

Exemple of deacreasing protocol.

1.
2.