-
公开(公告)号：CN112667994B
公开(公告)日：2023-01-20
申请号：CN202011435351.7
申请日：2020-12-10
申请人： 山东大学
摘要： 本发明公开了一种面向计算机的对称密码形式化描述方法及系统，包括：将对称密码分解为多个组件函数；根据第i个组件函数中单个操作的输入比特变量，调用级联语句将第i个组件函数的输入级联为输入n1比特变量；根据第i个组件函数中单个操作的输出比特变量，调用分解语句将输出比特变量分解为n2个1比特变量；根据输入n1比特变量和输出比特变量，对第i个组件函数的单个操作进行形式化描述；将n2个1比特变量与第i+1个组件函数进行比特置换后，依次得到对称密码中每个组件函数的形式化描述。提高使用计算机辅助分析对称密码的算法安全性和适用性，解决手动分析对称密码算法实现效率低的问题。
-
公开(公告)号：CN114117416B
公开(公告)日：2024-04-12
申请号：CN202111086891.3
申请日：2021-09-16
申请人： 山东大学
摘要： 本发明属于平台可视化技术领域，提供了一种基于SAT的对称密码自动化分析平台可视化方法及系统。其中，该可视化方法包括处理基于SAT的对称密码自动化分析平台的中间文件，提取变量及变量值；逐层逐行按照设定规则处理变量，基于变量的位数与连续规则框勾画数量相同的原则，执行画状态；遍历所有的变量，根据连续规则框的连线顺序，为每个变量画上预设操作；接收绘图模式命令，执行与当前绘图模式命令相匹配的变量操作，展示当前绘图模式对应的可视化模式。
-
公开(公告)号：CN116132019A
公开(公告)日：2023-05-16
申请号：CN202211673922.X
申请日：2022-12-26
申请人： 山东大学
IPC分类号： H04L9/06
摘要： 本发明涉及加密技术领域，提供了一种基于多维线性掩码的白盒SM4加密方法及系统，包括：获取秘钥和明文，并将明文按位拆分为第一数据、第二数据、第三数据和第四数据，通过若干轮轮函数的加密，得到密文；其中，每轮轮函数将第二数据、第三数据和第四数据将进行异或运算，得到第一异或运算结果，并将第一异或运算结果、秘钥和第一数据分别采用不同的编码函数拆分成若干个份额后，将第一异或运算结果对应的份额与秘钥对应的份额经过异或操作、S盒操作和线性层后，与第一数据对应的份额进行异或运算，得到第二异或运算结果，基于第二异或运算结果得到下一轮轮函数的输入。能够抵抗现有白盒攻击方法，并且抵抗DFA等攻击，具有更强的安全性。
-
公开(公告)号：CN112667994A
公开(公告)日：2021-04-16
申请号：CN202011435351.7
申请日：2020-12-10
申请人： 山东大学
摘要： 本发明公开了一种面向计算机的对称密码形式化描述方法及系统，包括：将对称密码分解为多个组件函数；根据第i个组件函数中单个操作的输入比特变量，调用级联语句将第i个组件函数的输入级联为输入n1比特变量；根据第i个组件函数中单个操作的输出比特变量，调用分解语句将输出比特变量分解为n2个1比特变量；根据输入n1比特变量和输出比特变量，对第i个组件函数的单个操作进行形式化描述；将n2个1比特变量与第i+1个组件函数进行比特置换后，依次得到对称密码中每个组件函数的形式化描述。提高使用计算机辅助分析对称密码的算法安全性和适用性，解决手动分析对称密码算法实现效率低的问题。
-
公开(公告)号：CN115993955B
公开(公告)日：2023-06-23
申请号：CN202310286291.4
申请日：2023-03-23
申请人： 山东大学
摘要： 本发明涉及源代码生成和测试技术领域，本发明公开了对称密码算法的源代码生成和测试方法及系统，其中，所述方法包括：获取对称密码算法的描述文本内容，将对称密码算法的描述文本内容存储到文本缓冲区中；将文本缓冲区中对称密码算法的描述文本内容进行预处理；基于预处理后的数据，生成对称密码算法的源代码；对对称密码算法的源代码进行性能测试，生成测试报告。本发明通过将对称密码算法描述文本转换为密码组件，进一步转换为C语言源代码，帮助密码设计者生成高质量软件代码，并对算法正确性和软件性能进行测试，给出算法速度指标，提高对称密码算法源代码设计效率。
-
公开(公告)号：CN115993955A
公开(公告)日：2023-04-21
申请号：CN202310286291.4
申请日：2023-03-23
申请人： 山东大学
摘要： 本发明涉及源代码生成和测试技术领域，本发明公开了对称密码算法的源代码生成和测试方法及系统，其中，所述方法包括：获取对称密码算法的描述文本内容，将对称密码算法的描述文本内容存储到文本缓冲区中；将文本缓冲区中对称密码算法的描述文本内容进行预处理；基于预处理后的数据，生成对称密码算法的源代码；对对称密码算法的源代码进行性能测试，生成测试报告。本发明通过将对称密码算法描述文本转换为密码组件，进一步转换为C语言源代码，帮助密码设计者生成高质量软件代码，并对算法正确性和软件性能进行测试，给出算法速度指标，提高对称密码算法源代码设计效率。
-
公开(公告)号：CN112398638B
公开(公告)日：2022-04-26
申请号：CN202011120542.4
申请日：2020-10-19
申请人： 山东大学
IPC分类号： H04L9/06
摘要： 本公开提供了一种零相关线性密码分析方法、系统、介质及电子设备，包括以下步骤：获取待分析的可调整分组密码；将获取的可调整分组密码视为向量布尔函数，构建明文、密钥和调整与向量布尔函数的映射关系，设定向量布尔函数的线性近似逼近表达式；搜索使得线性近似逼近表达式的相关值为零的线性近似逼近，根据得到的线性近似逼近即零相关区分器转换为积分区分器用以判断反向解密用的密钥是否正确；其中，零相关线性近似逼近表达式的相关性通过遍历明文、密钥和调整的所有可能取值得到；本公开中，明文、密钥和调整被平等的对待，实现了对线性逼近的快速和准确搜索，能够更快速的确定密钥的准确性，降低了解密的复杂程度，提高了积分攻击的成功率。
-
公开(公告)号：CN112398638A
公开(公告)日：2021-02-23
申请号：CN202011120542.4
申请日：2020-10-19
申请人： 山东大学
IPC分类号： H04L9/06
摘要： 本公开提供了一种零相关线性密码分析方法、系统、介质及电子设备，包括以下步骤：获取待分析的可调整分组密码；将获取的可调整分组密码视为向量布尔函数，构建明文、密钥和调整与向量布尔函数的映射关系，设定向量布尔函数的线性近似逼近表达式；搜索使得线性近似逼近表达式的相关值为零的线性近似逼近，根据得到的线性近似逼近即零相关区分器转换为积分区分器用以判断反向解密用的密钥是否正确；其中，零相关线性近似逼近表达式的相关性通过遍历明文、密钥和调整的所有可能取值得到；本公开中，明文、密钥和调整被平等的对待，实现了对线性逼近的快速和准确搜索，能够更快速的确定密钥的准确性，降低了解密的复杂程度，提高了积分攻击的成功率。
-
公开(公告)号：CN114117416A
公开(公告)日：2022-03-01
申请号：CN202111086891.3
申请日：2021-09-16
申请人： 山东大学
摘要： 本发明属于平台可视化技术领域，提供了一种基于SAT的对称密码自动化分析平台可视化方法及系统。其中，该可视化方法包括处理基于SAT的对称密码自动化分析平台的中间文件，提取变量及变量值；逐层逐行按照设定规则处理变量，基于变量的位数与连续规则框勾画数量相同的原则，执行画状态；遍历所有的变量，根据连续规则框的连线顺序，为每个变量画上预设操作；接收绘图模式命令，执行与当前绘图模式命令相匹配的变量操作，展示当前绘图模式对应的可视化模式。
-
-
-
-
-
-
-
-
搜索结果
9 条记录 (耗时 0.027 秒)
