7、消息认证算法：TMAC 与 MPH 详解

消息认证算法：TMAC 与 MPH 详解

1. TMAC 算法介绍

1.1 TMAC 算法的安全分析

在对 TMAC 算法进行分析时，会涉及到一些概率计算。例如有如下式子：
[
\begin{align }
&Pr(P_1 \overset{R}{\leftarrow} Perm(n); K_2 \overset{R}{\leftarrow} K_H : A_{TMAC - f_{P_1, H_{K_2}, Cst_1, Cst_2}}(\cdot) = 1)\
&- Pr(P_1, P_2, P_3 \overset{R}{\leftarrow} Perm(n) : A_{FCBC_{P_1, P_2, P_3}}(\cdot) = 1)
\end{align }
]
命题 5.1 给出了上式的一个上界，接着对下面的式子进行分析：
[
\begin{align }
&Pr(P \overset{R}{\leftarrow} Perm(n); K \overset{R}{\leftarrow} K_H : A_{P(\cdot), P(H_K(Cst_1) \oplus \cdot), P(H_K(Cst_2) \oplus \cdot)} = 1)\
&- Pr(P_1, P_2, P_3 \overset{R}{\leftarrow} Perm(n) : A_{P_1(\cdot), P_2(\cdot), P_3(\cdot)} = 1)
\end{align }
]
因为在式