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