轻量级分组密码算法PFP和SLIM的积分分析

PFP算法和SLIM算法都是基于Feistel结构而设计的轻量级分组密码算法,在软件及硬件上都具有良好的性能,特别适用于资源受限的环境,目前没有对两个算法进行积分分析的相关研究.本文通过分析PFP算法和SLIM算法的结构特点,结合比特可分性的自动化搜索方法,构建了混合整数线性规划(MILP)模型,通过使用Gurobi优化器求解该模型判断是否存在r轮积分区分器,选用搜索得到的积分区分器对算法进行密钥恢复攻击.首次得到PFP算法的11轮积分区分器,选用搜索得到的10轮积分区分器向后扩展2轮进行12轮密钥恢复攻击,数据复杂度为262.39个选择明文,时间复杂度为2^(63.12)次12轮加密,存储复杂度为2^(40);首次得到SLIM算法的10轮积分区分器,选择9轮积分区分器进行12轮密钥恢复攻击,数据复杂度为231.81个选择明文,时间复杂度为262.42次12轮加密,存储复杂度为2^(40).

油田油水界面位置的实时检测与控制

本文开发并设计了一套污水除油过程中油水界面位置的实时检测与自动控制系统。设计中应用成熟的压差传感理论与模糊控制理论 ,使系统具有较好的稳定性和可靠性。实验证明 ,一些炼油装置污水处理过程在本系统的控制下能够满足排出污水油的浓度低于 15 0mg L的指标要求并能获得纯度较高的分离油。并且当来水压力有较大波动或污水处理罐参数有较大变化时 ,采用该系统对油水界面位置进行控制 ,其油水界面的波动完全能保持在允许的范围之内 。

轮圈式链轮设计理论的研究

本文提出链锯链轮与锯链正确啮合条件的新理论。对于小节距型号的链锯锯链确定了不同的几何参数作为原始数据 ,并在正确啮合条件下建立了一套适用于不同形式小节距锯链的轮圈式链轮设计理论公式。

多元主体视角下的城市盲道建设现状及对策分析——以呼和浩特市为例

盲道是一个城市的文明标志,体现了城市对残疾人的人文关怀。但在长期以来对盲道的建设、管理、维护、使用的过程中,出现了种种乱象,使盲道成为了一个＂全民皆可占、盲人不敢走＂的社会盲点。文章通过对呼和浩特市盲道的铺设、保护、修缮、使用情况进行实地调查,发现了盲道使用率低背后的材质不合格、铺设不规范、占用不合理等问题。盲道乱象的＂盲点＂,是面子工程的表象、建设与管理的失衡、约束与监管的两难,也是公地悲剧下市民意识的矛盾和缺失。＂障碍重重＂的无障碍设施表达出对使用需求的漠视,对良善初衷的偏离。回归无障碍设施建设的善良本意,需要政府做到建设与监管并重,市场主体做到积极承担社会责任,社会鼓励残疾人组织的发展,公民需要形成正确的市民意识导向。多元主体的协同参与,是改善盲道现状,促进视力障碍者参与社会生活的道路所在。

ACT、TED算法基于MILP搜索的积分分析

ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明:ACT和TED算法都存在8、9、10轮积分区分器,另外TED算法还存在7轮积分区分器.根据所搜索到的积分区分器,实现了两种算法的11轮密钥恢复攻击方案.利用ACT算法的9轮积分区分器向后扩展2轮进行11轮的密钥恢复攻击时,攻击数据复杂度为2^(36.39),时间复杂度为2^(36.39)次11轮加密,存储复杂度为2^(20).利用TED算法的8轮积分区分器向后扩展3轮进行11轮的密钥恢复攻击时,数据复杂度为2^(60.81),时间复杂度为2^(109.54)次11轮加密,存储复杂度为2^(59).

SLIM算法的9轮不可能差分分析

近年来,随着射频识别(RFID)技术和无线传感器网络(WSN)的迅速发展,低功耗设备在生活中有了广泛的应用。轻量级分组密码具有效率高、功耗低、资源需求少等优点,便于在硬件和软件上实现。因此,它可以为物联网和资源受限环境提供安全保障。SLIM算法是Aboushosha等人在2020年提出的一种新的轻量级分组密码。本文采用不可能差分攻击对SLIM算法的安全性进行分析。首先,根据SLIM算法的结构特征,构造一条6轮不可能差分路径。然后,在不可能差分路径的基础上添加1轮前置路径和2轮后置路径,对9轮SLIM算法进行不可能差分攻击。研究结果表明:攻击9轮SLIM算法所需的数据复杂度约为2^(29)选择明文数据量,所需的时间复杂度约为2^(55.83)次9轮SLIM加密。