公开(公告)号：CN113255257A

公开(公告)日：2021-08-13

申请号：CN202110579580.4

申请日：2021-05-26

Applicant: 山东大学 ,  中国科学院信息工程研究所

Inventor： 王美琴 ,  孙思维 ,  樊燕红 ,  吴立轩

IPC: G06F30/327 ,  G06F30/33

Abstract: 本发明属于电路优化领域，提供了一种基于工艺库的S盒电路的优化方法及系统，其中，该方法包括：以根节点为初始电路，按照每一个目标节点由源节点进行单门扩展来逐层构建搜索树；所述搜索树的同一层节点的电路面积均相同，相邻两层节点的面积之差为设定工艺库中所有标准单元门电路面积的最大公约数；以第一次出现节点满足给定布尔函数F的电路为条件来停止构建搜索树，得到最小面积的布尔函数F的电路。

公开(公告)号：CN104158796B

公开(公告)日：2017-07-21

申请号：CN201410331997.9

申请日：2014-07-11

Applicant: 中国科学院信息工程研究所

Inventor： 胡磊 ,  孙思维 ,  乔珂欣 ,  马小双 ,  宋凌 ,  王鹏

IPC: H04L29/06 ,  H04L9/08 ,  H04L12/26

Abstract: 本发明公开了一种分组密码抗线性攻击安全性的评估方法，包括：将分组密码分成前后两个部分；先对第一部分建立第一混合整数线性规划模型，并求解以获得第一部分中的活跃S盒个数的下界，记为第一下界；再对整个所述分组密码建立第二混合整数线性规划模型，并求解以获得第二部分中的活跃S盒个数的下界，记为第二下界；之后、将第一下界与第二下界的和作为所述分组密码的活跃S盒个数的下界，并进一步确定所述分组密码的线性逼近表达式的最大偏差概率的上界。本发明的方法所获得的分组密码的抗线性攻击的安全性的高低的可靠性更高。

公开(公告)号：CN103427986B

公开(公告)日：2016-08-24

申请号：CN201310368578.8

申请日：2013-08-22

Applicant: 中国科学院信息工程研究所

Inventor： 胡磊 ,  孙思维 ,  解永宏 ,  宋凌 ,  王鹏

IPC: H04L9/08 ,  H04L9/30

Abstract: 本发明公开了一种获取比特级置换线性扩散层分组密码活跃S盒个数下界的方法，包括：对使用比特级置换作为扩散层的分组密码中的每个S盒的每个输入比特和每个输出比特引入差分变量，并对所述每个S盒引入活跃变量；针对所述每个S盒，分析S盒操作和位置换操作对差分模式传播的限制，并以最小化所述分组密码中所有S盒的活跃变量之和为目标对所述每个S盒的每个输入比特和每个输出比特的差分变量以及每个S盒的活跃变量赋予所述限制，以建立一混合整数的线性规划问题；求解所述混合整数线性规划问题，以获得活跃S盒的下界。本发明大大降低了密码设计工作量和出错概率，填补了本领域空白，同样适用于采用非极大距离可分码构造的线性扩散层。

公开(公告)号：CN104158796A

公开(公告)日：2014-11-19

申请号：CN201410331997.9

申请日：2014-07-11

Applicant: 中国科学院信息工程研究所

Inventor： 胡磊 ,  孙思维 ,  乔珂欣 ,  马小双 ,  宋凌 ,  王鹏

IPC: H04L29/06 ,  H04L9/08 ,  H04L12/26

Abstract: 本发明公开了一种分组密码抗线性攻击安全性的评估方法，包括：将分组密码分成前后两个部分；先对第一部分建立第一混合整数线性规划模型，并求解以获得第一部分中的活跃S盒个数的下界，记为第一下界；再对整个所述分组密码建立第二混合整数线性规划模型，并求解以获得第二部分中的活跃S盒个数的下界，记为第二下界；之后、将第一下界与第二下界的和作为所述分组密码的活跃S盒个数的下界，并进一步确定所述分组密码的线性逼近表达式的最大偏差概率的上界。本发明的方法所获得的分组密码的抗线性攻击的安全性的高低的可靠性更高。

公开(公告)号：CN103427986A

公开(公告)日：2013-12-04

申请号：CN201310368578.8

申请日：2013-08-22

Applicant: 中国科学院信息工程研究所

Inventor： 胡磊 ,  孙思维 ,  解永宏 ,  宋凌 ,  王鹏

IPC: H04L9/08 ,  H04L9/30

Abstract: 本发明公开了一种获取比特级置换线性扩散层分组密码活跃S盒个数下界的方法，包括：对使用比特级置换作为扩散层的分组密码中的每个S盒的每个输入比特和每个输出比特引入差分变量，并对所述每个S盒引入活跃变量；针对所述每个S盒，分析S盒操作和位置换操作对差分模式传播的限制，并以最小化所述分组密码中所有S盒的活跃变量之和为目标对所述每个S盒的每个输入比特和每个输出比特的差分变量以及每个S盒的活跃变量赋予所述限制，以建立一混合整数的线性规划问题；求解所述混合整数线性规划问题，以获得活跃S盒的下界。本发明大大降低了密码设计工作量和出错概率，填补了本领域空白，同样适用于采用非极大距离可分码构造的线性扩散层。

公开(公告)号：CN113255257B

公开(公告)日：2023-04-07

申请号：CN202110579580.4

申请日：2021-05-26

Applicant: 山东大学 ,  中国科学院信息工程研究所

Inventor： 王美琴 ,  孙思维 ,  樊燕红 ,  吴立轩

IPC: G06F30/327 ,  G06F30/33

Abstract: 本发明属于电路优化领域，提供了一种基于工艺库的S盒电路的优化方法及系统，其中，该方法包括：以根节点为初始电路，按照每一个目标节点由源节点进行单门扩展来逐层构建搜索树；所述搜索树的同一层节点的电路面积均相同，相邻两层节点的面积之差为设定工艺库中所有标准单元门电路面积的最大公约数；以第一次出现节点满足给定布尔函数F的电路为条件来停止构建搜索树，得到最小面积的布尔函数F的电路。