摘要：Camellia算法的线性扩散层是8阶字节级(0,1)-矩阵。由于该矩阵的分组较宽且异或项数较多,因此难以建立精确的字节级自动化分析评估模型。目前,仅利用线性扩散矩阵分支数为5的性质评估出的算法得到的差分和线性活跃S盒偏少。针对以上问题,提出了一种基于混合整数线性规划(Mixed Integer Linear Programming,MILP)来建立复杂(0,1)-线性扩散矩阵字节级评估模型的通用方法。该方法利用线性扩散矩阵的内部性质快速且较精确地搜索出Camellia算法的差分和线性活跃S盒,从而能够得到Camellia算法更紧致的差分和线性安全界。该方法对基于(0,1)-线性扩散矩阵设计的密码算法有一定的指导意义,能够更清楚地评估出算法的安全界。

摘要：伴随着全球经济的发展，全国反虚假财务报告委员会下属的发起人委员会（简称COSO，The Committee o fSponsoring Organizations of the Treadway Commission）于2013年5月发布了新版《内部控制——整体框架》，目的是为了帮助企业设计、完成内部控制，拓宽内部控制在掌控运营和报告目标中的应用，以及明确构成有效内部控制的要求。