Analysis results

No.Theorysecrecy_MKsecrecy_PINsecrecy_PAN
1C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Lowverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
2C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Highverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
3C8_NoLocalAuth_NoCopyIAD_ODCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
4C8_NoLocalAuth_NoCopyIAD_ODCVM_Highverified (6 steps)-falsified - found trace (8 steps)
5C8_NoLocalAuth_NoCopyIAD_NoCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
6C8_NoLocalAuth_NoCopyIAD_NoCVM_Highverified (6 steps)-falsified - found trace (8 steps)
7C8_NoLocalAuth_CopyIAD_OnlinePIN_Lowverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
8C8_NoLocalAuth_CopyIAD_OnlinePIN_Highverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
9C8_NoLocalAuth_CopyIAD_ODCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
10C8_NoLocalAuth_CopyIAD_ODCVM_Highverified (6 steps)-falsified - found trace (8 steps)
11C8_NoLocalAuth_CopyIAD_NoCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
12C8_NoLocalAuth_CopyIAD_NoCVM_Highverified (6 steps)-falsified - found trace (8 steps)
13C8_LocalAuth_NoCopyIAD_OnlinePIN_Lowverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
14C8_LocalAuth_NoCopyIAD_OnlinePIN_Highverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
15C8_LocalAuth_NoCopyIAD_ODCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
16C8_LocalAuth_NoCopyIAD_ODCVM_Highverified (6 steps)-falsified - found trace (8 steps)
17C8_LocalAuth_NoCopyIAD_NoCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
18C8_LocalAuth_NoCopyIAD_NoCVM_Highverified (6 steps)-falsified - found trace (8 steps)
19C8_LocalAuth_CopyIAD_OnlinePIN_Lowverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
20C8_LocalAuth_CopyIAD_OnlinePIN_Highverified (6 steps)verified (3 steps)falsified - found trace (8 steps)
21C8_LocalAuth_CopyIAD_ODCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
22C8_LocalAuth_CopyIAD_ODCVM_Highverified (6 steps)-falsified - found trace (8 steps)
23C8_LocalAuth_CopyIAD_NoCVM_Lowverified (6 steps)-falsified - found trace (8 steps)
24C8_LocalAuth_CopyIAD_NoCVM_Highverified (6 steps)-falsified - found trace (8 steps)

Summary

Protocols: total 24, verified 0

Latex code

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