| Protocol | Option | Misuse case | Misuse nonce | IA_A | IA_B | NIA_A | NIA_B |
|---|---|---|---|---|---|---|---|
| 979834_basic.spthy | Standard | No misuse | N/A | ||||
| 979834_leak_always_0.spthy | Standard | Leak always | N0 | ||||
| 979834_leak_always_1.spthy | Standard | Leak always | N1 | ||||
| 979834_reuse_once_0_0.spthy | Standard | Reuse once | N0 = N0 | ||||
| 979834_reuse_once_0_1.spthy | Standard | Reuse once | N0 = N1 | ||||
| 979834_reuse_once_1_1.spthy | Standard | Reuse once | N1 = N1 | ||||
| 979834_reuse_always_0.spthy | Standard | Reuse always | N0 | ||||
| 979834_reuse_always_1.spthy | Standard | Reuse always | N1 |