摘要：提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议。该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设计与分析都易于实现。

摘要：Gimli是美国国家标准与技术研究院发起的轻量级加密算法标准第二轮候选算法。当前,Gimli的安全性分析主要针对Gimli置换、Gimli杂凑函数、Gimli带有关联数据的认证加密方案等。Gimli认证加密方案总体采用sponge结构,适用于受限环境下的数据加密场景。目前对Gimli认证加密方案的状态恢复攻击最好结果是9轮,时间复杂度为2^(190),数据复杂度为2^(192)。为了评估这种方案抵抗不可能差分分析的能力,根据Gimli置换设计了一个差分传播系统,找到了适用于分析sponge结构认证加密方案的7轮不可能差分,此不可能差分仅限制了1 bit输出差分的取值,可显著地降低状态恢复阶段的时间复杂度与数据复杂度。将7轮不可能差分向前扩展4轮,成功实现了对11轮Gimli认证加密方案的状态恢复攻击。在状态恢复阶段,基于Gimli置换前两轮的弱扩散性,将2^(128)的密钥猜测量缩小为2个2^(64)密钥猜测量,此状态恢复攻击的时间复杂度约为2^(110)次加密,数据复杂度约为2^(52.5),优于现有公开文献中对Gimli认证加密方案的状态恢复攻击结果。

摘要：轻量化S盒作为轻量级对称密码算法的混淆部件,是设计轻量级对称密码算法的关键。提出一种新的8比特轻量化S盒设计方法,其单轮逻辑运算仅涉及4个单比特逻辑与运算和4个单比特逻辑异或运算,迭代4轮后密码性质可达到差分均匀度为16、非线性度为96。与目前已有轻量化S盒设计方法相比,新的8比特轻量化S盒设计方法在硬件实现资源小的同时达到了已知最优的差分均匀度和非线性度等密码学指标,解决了之前8比特轻量化S盒差分均匀度和非线性度等密码性质弱的问题。

摘要：可搜索加密已经发展多年,用于支撑密文数据的检索甚至复杂运算.随着以文件分块为主要特色的去中心化存储应用的快速发展,现有可搜索加密方案不能适应其效率需求.特别是,当索引文件较大时,执行检索操作的实体需要完整下载索引文件才能完成搜索,效率非常低.为此,本文提出了一种基于分块存储加密索引的可搜索对称加密方案.通过设计两级索引,在执行检索时,仅关键字命中的索引块才会被访问从而极大地提高了检索效率.配合区块链及智能合约,本文提出的方案可以构建数据所有者和数据用户之前的公平交易环境,分块检索的效率优势较好地适应了去中心化存储中密文检索的应用需求.实验表明,本文提出的方案在文档集合较大时,检索效率仅依赖于检索关键字命中文档的个数,且在存储开销、计算开销、Gas消耗等方面具有优势.

摘要：提出运用组合方法进行安全协议设计。给出了协议中基件与组件的定义,根据组件的安全属性设计实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。根据具体的应用背景选择合适的单步协议,按照组合规则组合后可得到满足需求的安全协议。该组合方法可将一个复合协议分解为若干基于组件的简单单步协议,使得协议的设计与分析易于实现。

摘要：对ZLW(2008)和LHMM(2009)2个匿名签名方案的分析,指出前者不具有对签名消息的可认证性,后者不能抵抗已知签名存在伪造性攻击。在分析2个方案弱点的基础上,提出一种新的匿名签名方案,该方案达到了更强的Model3安全性且计算量较小,签名过程只需要2个群G中的乘法运算,验证过程需要n+1个双线性对运算,与其他同类方案比较,提出的方案具有更优的签名计算量和更高的签名安全性。

摘要：为解决电网波动剧烈导致的火电机组运行平稳性问题,提出一种考虑火电运行平稳性的飞轮储能辅助二次调频控制策略。首先,建立了超超临界火电机组联合飞轮储能的二次调频控制模型;其次,提出了一种基于多层变增益速率限制的AGC指令非线性分解方法;最后,综合机组平稳性和系统AGC性能设计了适应度函数,借助鲸鱼优化算法(WOA)实现了最优化的速率限制算法参数获取。基于上述方法设计了火储协同二次调频控制策略。以某1000 MW火电机组-飞轮储能联合系统为例进行了仿真验证。结果表明:所提控制策略在不影响系统调频性能的前提下可以使联合系统有效响应系统高频指令,减小了火电机组的动作幅度,提升了机组运行的平稳性。

摘要：氧化镁泡沫陶瓷烧结温度很高,为了降低它的烧结温度,对其制备技术进行了研究.设计了以氧化镁为基体的粉料,采用有机泡沫浸渍工艺制备了氧化镁泡沫陶瓷,研究了不添加活性炭和添加活性炭对烧结温度的影响.当活性炭质量分数为0.1%时,泡沫陶瓷烧结温度由1550℃降到1500℃,体积质量由0.926g/cm3上升到0.977g/***结果表明,添加活性炭并未改变氧化镁的晶格结构;SEM显微分析表明,添加的活性炭在陶瓷中未有残留.粗镁浇注实验结果说明,添加活性炭烧结而成的氧化镁泡沫陶瓷具有良好的过滤能力.

摘要：讨论了复合材料胶接过程微机控制系统的工作原理、硬件配置和软件设计，针对被控对象复杂多变及难以建模的特点，采用了智能化变结构控制策略和容错技术以提高系统的运行可靠性．结果表明，该系统不仅消除了温度超调现象，大大降低工件各点间的温差，而且获得了明显的节能效果．

摘要：采用不同种类的发泡剂制备出脲醛树脂泡沫塑料,研究了发泡剂的稳定性、发泡剂对泡沫塑料表观密度、吸水率以及压缩强度的影响,并对泡沫塑料的形貌进行了表征。结果表明:用十二烷基硫酸钠发泡的泡沫稳定性最好,泡沫高度在120s内变化很小;所得泡沫塑料的综合性能佳,其表观密度为0.083g/cm3,吸水率为2.51%,压缩强度为0.18 MPa。