No. | Theory | secrecy_MK | secrecy_PIN | secrecy_PAN |
---|---|---|---|---|
1 | C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Low | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
2 | C8_NoLocalAuth_NoCopyIAD_OnlinePIN_High | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
3 | C8_NoLocalAuth_NoCopyIAD_ODCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
4 | C8_NoLocalAuth_NoCopyIAD_ODCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
5 | C8_NoLocalAuth_NoCopyIAD_NoCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
6 | C8_NoLocalAuth_NoCopyIAD_NoCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
7 | C8_NoLocalAuth_CopyIAD_OnlinePIN_Low | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
8 | C8_NoLocalAuth_CopyIAD_OnlinePIN_High | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
9 | C8_NoLocalAuth_CopyIAD_ODCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
10 | C8_NoLocalAuth_CopyIAD_ODCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
11 | C8_NoLocalAuth_CopyIAD_NoCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
12 | C8_NoLocalAuth_CopyIAD_NoCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
13 | C8_LocalAuth_NoCopyIAD_OnlinePIN_Low | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
14 | C8_LocalAuth_NoCopyIAD_OnlinePIN_High | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
15 | C8_LocalAuth_NoCopyIAD_ODCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
16 | C8_LocalAuth_NoCopyIAD_ODCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
17 | C8_LocalAuth_NoCopyIAD_NoCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
18 | C8_LocalAuth_NoCopyIAD_NoCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
19 | C8_LocalAuth_CopyIAD_OnlinePIN_Low | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
20 | C8_LocalAuth_CopyIAD_OnlinePIN_High | verified (6 steps) | verified (3 steps) | falsified - found trace (8 steps) |
21 | C8_LocalAuth_CopyIAD_ODCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
22 | C8_LocalAuth_CopyIAD_ODCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
23 | C8_LocalAuth_CopyIAD_NoCVM_Low | verified (6 steps) | - | falsified - found trace (8 steps) |
24 | C8_LocalAuth_CopyIAD_NoCVM_High | verified (6 steps) | - | falsified - found trace (8 steps) |
Protocols: total 24, verified 0