Analysis results

No.Theoryauth_to_terminal_minimalauth_to_issuer_minimal
1C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Lowfalsified - found trace (18 steps)falsified - found trace (20 steps)
2C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Highfalsified - found trace (18 steps)falsified - found trace (19 steps)
3C8_NoLocalAuth_NoCopyIAD_ODCVM_Lowfalsified - found trace (17 steps)falsified - found trace (20 steps)
4C8_NoLocalAuth_NoCopyIAD_ODCVM_Highfalsified - found trace (17 steps)falsified - found trace (19 steps)
5C8_NoLocalAuth_NoCopyIAD_NoCVM_Lowfalsified - found trace (18 steps)falsified - found trace (20 steps)
6C8_NoLocalAuth_NoCopyIAD_NoCVM_High--
7C8_NoLocalAuth_CopyIAD_OnlinePIN_Lowverified (52 steps)verified (136 steps)
8C8_NoLocalAuth_CopyIAD_OnlinePIN_Highverified (52 steps)verified (74 steps)
9C8_NoLocalAuth_CopyIAD_ODCVM_Lowverified (46 steps)verified (136 steps)
10C8_NoLocalAuth_CopyIAD_ODCVM_Highverified (46 steps)verified (74 steps)
11C8_NoLocalAuth_CopyIAD_NoCVM_Lowverified (86 steps)verified (136 steps)
12C8_NoLocalAuth_CopyIAD_NoCVM_High--
13C8_LocalAuth_NoCopyIAD_OnlinePIN_Lowverified (2149 steps)verified (1408 steps)
14C8_LocalAuth_NoCopyIAD_OnlinePIN_Highverified (2149 steps)verified (580 steps)
15C8_LocalAuth_NoCopyIAD_ODCVM_Lowverified (2143 steps)verified (1408 steps)
16C8_LocalAuth_NoCopyIAD_ODCVM_Highverified (2143 steps)verified (580 steps)
17C8_LocalAuth_NoCopyIAD_NoCVM_Lowverified (6128 steps)verified (1408 steps)
18C8_LocalAuth_NoCopyIAD_NoCVM_High--
19C8_LocalAuth_CopyIAD_OnlinePIN_Lowverified (102 steps)verified (136 steps)
20C8_LocalAuth_CopyIAD_OnlinePIN_Highverified (102 steps)verified (74 steps)
21C8_LocalAuth_CopyIAD_ODCVM_Lowverified (96 steps)verified (136 steps)
22C8_LocalAuth_CopyIAD_ODCVM_Highverified (96 steps)verified (74 steps)
23C8_LocalAuth_CopyIAD_NoCVM_Lowverified (126 steps)verified (136 steps)
24C8_LocalAuth_CopyIAD_NoCVM_High--

Summary

Protocols: total 24, verified 19

Latex code

\begin{tabular}{ l l l l }
\hline
\bfseries No. & \bfseries Theory & \bfseries auth\_to\_terminal\_minimal & \bfseries auth\_to\_issuer\_minimal\\
\hline
1 & C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \falsified{} & \falsified{}\\
2 & C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_High & \falsified{} & \falsified{}\\
3 & C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_Low & \falsified{} & \falsified{}\\
4 & C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_High & \falsified{} & \falsified{}\\
5 & C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_Low & \falsified{} & \falsified{}\\
6 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_High & \na{} & \na{}\\
7 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{} & \verified{}\\
8 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{} & \verified{}\\
9 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_Low & \verified{} & \verified{}\\
10 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_High & \verified{} & \verified{}\\
11 & \bfseries C8\_NoLocalAuth\_CopyIAD\_NoCVM\_Low & \verified{} & \verified{}\\
12 & \bfseries C8\_NoLocalAuth\_CopyIAD\_NoCVM\_High & \na{} & \na{}\\
13 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \verified{} & \verified{}\\
14 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_High & \verified{} & \verified{}\\
15 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_Low & \verified{} & \verified{}\\
16 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_High & \verified{} & \verified{}\\
17 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_Low & \verified{} & \verified{}\\
18 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_High & \na{} & \na{}\\
19 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{} & \verified{}\\
20 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{} & \verified{}\\
21 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_Low & \verified{} & \verified{}\\
22 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_High & \verified{} & \verified{}\\
23 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_Low & \verified{} & \verified{}\\
24 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_High & \na{} & \na{}\\
\hline
\end{tabular}