| Protocol | Option | Misuse case | Misuse nonce | IA_I | IA_R | NIA_I | NIA_R |
|---|---|---|---|---|---|---|---|
| NSLPK3_basic.spthy | Standard | No misuse | N/A | ||||
| NSLPK3_leak_always_0.spthy | Standard | Leak always | N0 | ||||
| NSLPK3_leak_always_1.spthy | Standard | Leak always | N1 | ||||
| NSLPK3_reuse_once_0_0.spthy | Standard | Reuse once | N0 = N0 | ||||
| NSLPK3_reuse_once_0_1.spthy | Standard | Reuse once | N0 = N1 | ||||
| NSLPK3_reuse_once_1_1.spthy | Standard | Reuse once | N1 = N1 | ||||
| NSLPK3_reuse_always_0.spthy | Standard | Reuse always | N0 | ||||
| NSLPK3_reuse_always_1.spthy | Standard | Reuse always | N1 |