-
公开(公告)号:CN120074796A
公开(公告)日:2025-05-30
申请号:CN202510232380.X
申请日:2025-02-28
Applicant: 桂林电子科技大学
IPC: H04L9/00
Abstract: 本发明公开基于状态值传播与MILP的不可能差分区分器搜索方法,该方法刻画了比特级状态值的传播,将区分器分为轮与轮的两段,在MILP模型中加入状态值在每一轮中传播的约束条件,并且在第轮处添加新的约束条件以检验矛盾点,并以模型可解判断区分器有效。通过对S盒的状态值传播模式进行划分,以及生成更高效不等式,提高搜索不可能差分区分器时Gurobi求解器的模型求解速度。此外该方法在刻画相对复杂的非线性层操作时,通过对传播模式的点进行划分子集以及不等式优化等方法,减少刻画非线性层所需要的不等式数量。并且使用算法降低不等式系数,缩小求解器所需搜索的解空间,提高模型整体的求解速度。
-
公开(公告)号:CN119921944A
公开(公告)日:2025-05-02
申请号:CN202510098045.5
申请日:2025-01-22
Applicant: 桂林电子科技大学
IPC: H04L9/06
Abstract: 本发明公开一种结合线性掩码集合传播与CP技术的SPN结构零相关线性区分器搜索方法,用于搜索面向半字节/字节设计的SPN结构分组密码算法的零相关线性区分器。该方法整合了目前已有方法的优点,利用集合传播的思想,结合CP建模技术实现了线性掩码在以概率1传播的条件下完整刻画S盒的LAT表,并拥有已有方法的优点且弥补了其存在的缺点,同时能够完整考虑LAT表的情况下搜索零与非零、非零与非零集合之间的矛盾,并以模型可解为判定条件,可以与区分器的扩展构成一个整体模型去考虑。
-
公开(公告)号:CN119210692A
公开(公告)日:2024-12-27
申请号:CN202411170673.1
申请日:2024-08-26
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于SAT的碰撞消息对快速搜索方法,根据目标差分算法的思想,通过构建目标差分算法的SAT模型和满足差分特征的碰撞消息对的SAT验证模型,并组合这两个模型,用求解器对模型求解得到有效碰撞消息对,完成碰撞攻击。该搜索方法优化了碰撞攻击中的构建连接器阶段,具有准确且高效的优势。本发明方法通过SAT技术有效优化了目标差分算法在碰撞攻击中的应用,并将其与碰撞消息对验证算法相结合,可以更快速地搜索碰撞消息对,具有准确且高效的优势。本发明方法适用性广,适用于所有海绵结构及基于S盒大置换的哈希算法碰撞攻击中碰撞消息对的快速搜索。
-
公开(公告)号:CN119135336A
公开(公告)日:2024-12-13
申请号:CN202411332302.9
申请日:2024-09-24
Applicant: 桂林电子科技大学
Abstract: 本发明针对LED分组密码在支持AVX2等高级指令处理器上的低延迟实现问题,以及其安全性问题,在AMD系列微处理器环境下,提供一种针对LED分组密码算法的快速实现方法,通过本方法达到对数据的加解密效率提升的目的。本发明在不改变算法本身加密流程的情况下,使用比特切片技术以及SIMD技术对明文进行并行处理,通过对数据的比特切片提升算法的计算性能,并且通过对数据的预处理使加密的速率进一步提升。本发明方法在保证了加密效率提升的前提下,算法抵抗侧信道攻击的能力也得到提升。
-
公开(公告)号:CN118802111A
公开(公告)日:2024-10-18
申请号:CN202310401932.6
申请日:2023-04-14
Applicant: 桂林电子科技大学
Abstract: 本发明涉及信息安全属于计算机领域,具体是指一种基于求解器确定Trivium算法超级多项式的方法及设备,该方法包括如下步骤,S1:检测标志位与密钥单项式集合之间的映射关系,S2:利用局部子函数重构目标主函数的基本思想,结合已经确定的子函数中可能的密钥单项式集合,重构出目标超级多项式中可能的密钥单项式集合;S3;利用三子集可分性质构造出关于目标密码算法的混合整数线性规划模型,并在重构出的目标超级多项式中可能的密钥单项式集合中进行筛选,精确得到每一个项的系数,快速恢复出精确的超级多项式表达式,本发明能够快速恢复超级多项式的具体形式,提高对称密码算法立方分析的效率,能够广泛应用于对称密码算法的设计与分析场景。
-
公开(公告)号:CN117251873A
公开(公告)日:2023-12-19
申请号:CN202310131953.0
申请日:2023-02-19
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于区块链的地理信息数据云存储方法,涉及信息云存储技术领域,通过对用户所上传的地理信息数据进行分组,并对分组后的地理信息数据进行加密,从而保证所获得的地理信息数据在完成对应的加密后,存储至对应的区块链节点内,同时将对应的区块链节点变为未激活状态;再通过地理信息数据所存储的区块链节点信息和用户信息,生成对应的访问策略,将访问策略进行再加密,获得对访问策略的密钥,并将所获得的访问策略和密钥进行分离,从而使得,当访问策略和密钥任一一个出现泄露时,也无法完成对区块链节点的访问,从而提高了所存储的地理数据信息的安全性。
-
公开(公告)号:CN113794549B
公开(公告)日:2023-07-28
申请号:CN202111078036.8
申请日:2021-09-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种4比特密码S盒自动化门限掩码方法,包括以下四部分:计算代数正规型、构造一阶门限掩码方案、掩码方案的均匀性检测、掩码方案硬件实现的优化。其中,构造一阶门限掩码中包括常数项处理和3个算法:三次项算法、二次项算法和一次项算法。在掩码方案的硬件实现的优化中,主要包括对二次项和三次项的优化。本发明方法可以为分组密码算法自动构造门限掩码方案,以抵抗侧信道攻击;能够快速生成一阶门限掩码方案,并自动检测方案是否满足门限掩码的相关原则;仅在变元拆解时使用随机数,其他掩码环节不引入额外随机数;具有通用性,适用于4比特分组密码算法的密码S盒掩码防护。
-
公开(公告)号:CN113705107A
公开(公告)日:2021-11-26
申请号:CN202111019247.4
申请日:2021-09-01
Applicant: 桂林电子科技大学
IPC: G06F30/27 , G06F119/06
Abstract: 本发明公开了一种基于均值岭回归的功耗分析方法,包括如下步骤:采集密码设备运行过程中的功耗数据;根据算法结构计算中间值;基于岭回归思想与实际测量出的功耗数据相关联,对每一个假设密钥建立动态模型,并对每一个假设密钥的建模结果进行均值化处理建立功耗模型;采用皮尔逊相关系数计算功耗模型输出值与实际测量出的功耗数据之间的相关性,实现对密码算法内部秘密信息的分析,恢复出密码设备的密钥信息。本发明分析方法通过均值建模有效降低了功耗模型输出的矩阵维度,有效降低后续相关性分析的计算复杂度。本发明分析方法具有通用性,适用于大多数分组密码算法。
-
-
-
-
-
-
-