Research Article

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

Table 6


::= (Principal Identifier)
(Nounce)
(Private key)
(Public key)