摘要: 八阵图(ESF)是基于LBlock改进的轻量级分组密码,具有优良的软硬件实现效率。针对ESF算法的安全性,该文借助自动化搜索工具,利用不可能差分分析方法,对算法进行安全性评估。首先结合ESF的结构特性和\begin{document}$ S $\end{document}盒的差分传播特性,建立了基于混合整数线性规划(MILP)的不可能差分搜索模型;其次利用算法 \begin{document}$ S $\end{document}盒的差分传播特性和密钥扩展算法中轮子密钥间的相互关系,基于一条9轮...