Analysis results

No.Theoryexecutableissuer_acceptsauth_to_terminal_minimalauth_to_issuer_minimalrelay_resistanceLoCTime
1C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Lowverified (26 steps)verified (12 steps)falsified - found trace (18 steps)falsified - found trace (20 steps)falsified - found trace (24 steps)6103h29m45s
2C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Highverified (26 steps)verified (8 steps)falsified - found trace (18 steps)falsified - found trace (19 steps)falsified - found trace (24 steps)6103h26m37s
3C8_NoLocalAuth_NoCopyIAD_ODCVM_Lowverified (25 steps)verified (12 steps)falsified - found trace (17 steps)falsified - found trace (20 steps)falsified - found trace (22 steps)6042h51m12s
4C8_NoLocalAuth_NoCopyIAD_ODCVM_Highverified (25 steps)verified (8 steps)falsified - found trace (17 steps)falsified - found trace (19 steps)falsified - found trace (22 steps)6042h43m10s
5C8_NoLocalAuth_NoCopyIAD_NoCVM_Lowverified (25 steps)verified (16 steps)falsified - found trace (18 steps)falsified - found trace (20 steps)falsified - found trace (23 steps)6032h42m23s
6C8_NoLocalAuth_NoCopyIAD_NoCVM_Highfalsified - no trace found (5 steps)----5614m08s
7C8_NoLocalAuth_CopyIAD_OnlinePIN_Lowverified (26 steps)verified (13 steps)verified (52 steps)verified (136 steps)verified (269 steps)6286m35s
8C8_NoLocalAuth_CopyIAD_OnlinePIN_Highverified (26 steps)verified (9 steps)verified (52 steps)verified (74 steps)verified (190 steps)6286m02s
9C8_NoLocalAuth_CopyIAD_ODCVM_Lowverified (25 steps)verified (13 steps)verified (46 steps)verified (136 steps)verified (269 steps)6226m17s
10C8_NoLocalAuth_CopyIAD_ODCVM_Highverified (25 steps)verified (9 steps)verified (46 steps)verified (74 steps)verified (190 steps)6225m49s
11C8_NoLocalAuth_CopyIAD_NoCVM_Lowverified (25 steps)verified (19 steps)verified (86 steps)verified (136 steps)verified (397 steps)6217m13s
12C8_NoLocalAuth_CopyIAD_NoCVM_Highfalsified - no trace found (5 steps)----5614m05s
13C8_LocalAuth_NoCopyIAD_OnlinePIN_Lowverified (25 steps)verified (12 steps)verified (2149 steps)verified (1408 steps)verified (2247 steps)6281h18m33s
14C8_LocalAuth_NoCopyIAD_OnlinePIN_Highverified (25 steps)verified (8 steps)verified (2149 steps)verified (580 steps)verified (2138 steps)6281h16m38s
15C8_LocalAuth_NoCopyIAD_ODCVM_Lowverified (25 steps)verified (12 steps)verified (2143 steps)verified (1408 steps)verified (2271 steps)6221h17m20s
16C8_LocalAuth_NoCopyIAD_ODCVM_Highverified (25 steps)verified (8 steps)verified (2143 steps)verified (580 steps)verified (2162 steps)6221h14m27s
17C8_LocalAuth_NoCopyIAD_NoCVM_Lowverified (25 steps)verified (16 steps)verified (6128 steps)verified (1408 steps)verified (6327 steps)6213h31m35s
18C8_LocalAuth_NoCopyIAD_NoCVM_Highfalsified - no trace found (5 steps)----5614m03s
19C8_LocalAuth_CopyIAD_OnlinePIN_Lowverified (25 steps)verified (13 steps)verified (102 steps)verified (136 steps)verified (269 steps)6287m30s
20C8_LocalAuth_CopyIAD_OnlinePIN_Highverified (25 steps)verified (9 steps)verified (102 steps)verified (74 steps)verified (190 steps)6288m12s
21C8_LocalAuth_CopyIAD_ODCVM_Lowverified (25 steps)verified (13 steps)verified (96 steps)verified (136 steps)verified (269 steps)6226m43s
22C8_LocalAuth_CopyIAD_ODCVM_Highverified (25 steps)verified (9 steps)verified (96 steps)verified (74 steps)verified (190 steps)6226m16s
23C8_LocalAuth_CopyIAD_NoCVM_Lowverified (25 steps)verified (19 steps)verified (126 steps)verified (136 steps)verified (397 steps)6218m01s
24C8_LocalAuth_CopyIAD_NoCVM_Highfalsified - no trace found (5 steps)----5614m19s

Summary

Protocols: total 24, verified 15

Lines of code: min 561, ave 609, max 628

Time: min 4m03s, ave 1h03m12s, max 3h31m35s, sum 25h16m53s

Latex code

\begin{tabular}{ l l l l l l l l l }
\hline
\bfseries No. & \bfseries Theory & \bfseries executable & \bfseries issuer\_accepts & \bfseries auth\_to\_terminal\_minimal & \bfseries auth\_to\_issuer\_minimal & \bfseries relay\_resistance & \bfseries LoC & \bfseries Time\\
\hline
1 & C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \verified{} & \verified{} & \falsified{} & \falsified{} & \falsified{} & 610 & 3h29m45s\\
2 & C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_High & \verified{} & \verified{} & \falsified{} & \falsified{} & \falsified{} & 610 & 3h26m37s\\
3 & C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_Low & \verified{} & \verified{} & \falsified{} & \falsified{} & \falsified{} & 604 & 2h51m12s\\
4 & C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_High & \verified{} & \verified{} & \falsified{} & \falsified{} & \falsified{} & 604 & 2h43m10s\\
5 & C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_Low & \verified{} & \verified{} & \falsified{} & \falsified{} & \falsified{} & 603 & 2h42m23s\\
6 & C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_High & \falsified{} & \na{} & \na{} & \na{} & \na{} & 561 & 4m08s\\
7 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 628 & 6m35s\\
8 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 628 & 6m02s\\
9 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 622 & 6m17s\\
10 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_High & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 622 & 5m49s\\
11 & \bfseries C8\_NoLocalAuth\_CopyIAD\_NoCVM\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 621 & 7m13s\\
12 & C8\_NoLocalAuth\_CopyIAD\_NoCVM\_High & \falsified{} & \na{} & \na{} & \na{} & \na{} & 561 & 4m05s\\
13 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 628 & 1h18m33s\\
14 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_High & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 628 & 1h16m38s\\
15 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 622 & 1h17m20s\\
16 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_High & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 622 & 1h14m27s\\
17 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 621 & 3h31m35s\\
18 & C8\_LocalAuth\_NoCopyIAD\_NoCVM\_High & \falsified{} & \na{} & \na{} & \na{} & \na{} & 561 & 4m03s\\
19 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 628 & 7m30s\\
20 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 628 & 8m12s\\
21 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 622 & 6m43s\\
22 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_High & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 622 & 6m16s\\
23 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_Low & \verified{} & \verified{} & \verified{} & \verified{} & \verified{} & 621 & 8m01s\\
24 & C8\_LocalAuth\_CopyIAD\_NoCVM\_High & \falsified{} & \na{} & \na{} & \na{} & \na{} & 561 & 4m19s\\
\hline
\end{tabular}