Research Article

Formal Analysis of the Security Protocol with Timestamp Using SPIN

Figure 3

Knowledge construction rules.