摘要：目前,基于区块链技术的信息追溯系统在物联网领域中得到了广泛应用.但是,基于区块链的追溯系统在追溯数据存储和查询的过程中存在数据及用户隐私泄露的风险.针对此类问题,融合代理重加密和零知识证明技术,设计了基于联盟链构造的USB Key可信追溯解决方案.首先,在区块链上链存储过程中引入了星际文件系统(interplanetary file system,IPFS)和代理重加密技术,为参与双方建立了一个安全、高效的信息存储机制;同时,在数据查询过程中引入了zk-SNARK零知识证明机制,对查询用户进行身份认证和确权操作,确保了追溯数据查询过程中用户身份的私密性;最后,基于上述可信追溯解决方案,利用Hyperledger Fabric分布式账本实现了一个USB Key的信息追溯原型系统.通过实验,证明了该方案切实可行,并有效地保障了USB Key追溯系统中追溯信息的保密性和真实性,以及在实现权限分配的前提下用户身份的隐私性.

摘要：基于差分分析的密码攻击中,通常使用贝叶斯优化方法验证部分解密的数据是否具有差分特性。目前,主要采用基于深度学习的方式训练1个差分区分器,但随着加密轮数的增加,差分特征的精确度会呈现线性降低的趋势。为此,结合注意力机制和侧信道分析,提出了一种新的差分特性判别方法。根据多轮密文间的差分关系,基于Transformer训练了1个针对SPECK32/64算法的差分区分器。在密钥恢复攻击中,借助前一轮的密文对待区分密文影响最大特性,设计了新的密钥恢复攻击方案。在SPECK32/64算法的密钥恢复攻击中,采用26个选择明密文对,并借助第20轮密文对将第22轮65536个候选密钥范围缩小至17个以内,完成对最后两轮子密钥的恢复攻击。实验结果表明,该方法的攻击成功率达90%,可以有效应对加密轮数增多造成的密文差分特征难以识别的问题。

摘要：针对角色动画制作过程中模型和场景重用效率低、修改困难以及运动控制复杂等问题,利用混沌算法的良好随机特性设计了应用于场景复用的场景管理器;借鉴基因序列重组理论,提出了基于重组思想的角色模型可重组建模方法和基于分层索引的、适用于可重组角色模型的运动控制方法;分析了角色模型在智能化环境中的路径规划方法.基于以上内容,以人工动物为例,构建了基于重组思想的人工动物仿真平台框架,并对平台中涉及的其他关键组成部分进行了详细阐述.

摘要：借鉴机器知行学,在信息、知识、智能的转换与统一理论的基础上,通过扩展原有的信息转换模型,提出了适用于群体的信息转换模型,给出了软件人的个体知行模型及其行为描述规范。然后,采用广义知识表示法实现了软件人知识和行为一体化描述,阐述了守护软件人的构造原理。最后,描述了Linux环境下守护软件人的关键实现技术,主要包括守护软件人的启动、软件人社区的初始化及创建软件人服务。

摘要：FESH分组密码算法为2019年全国密码算法竞赛中进入第二轮评选的密码算法。文章对该算法的FESH-128-128型进行Verilog HDL高速实现,在有限状态机的基础上对顶层模块采用流水线设计方法进行优化,通过寄存器存储中间数据,提高运行效率。实验结果表明,在软件Quartus Ⅱ 15.0上使用5CEFA7F31C6芯片进行综合设计,采用流水线设计方法进行优化后,算法最高运行速率达到296.74 MHz,相较于有限状态机实现提高了98.28%;吞吐率达到37.98 Gbps,相较于有限状态机实现提升了约33倍。

摘要：近年来,后量子密码算法因其具有抗量子攻击的特性成为安全领域的研究热点。基于格的Falcon数字签名算法是美国国家标准与技术研究所(NIST)公布的首批4个后量子密码标准算法之一。密钥树生成是Falcon算法的核心部件,在实际运算中占用较多的时间和消耗较多的资源。为此,提出一种基于图形处理器(GPU)的Falcon密钥树并行生成方案。该方案使用奇偶线程联合控制的单指令多线程(SIMT)并行模式和无中间变量的直接计算模式,达到了提升速度和减少资源占用的目的。基于Python的CUDA平台进行了实验,验证结果的正确性。实验结果表明,Falcon密钥树生成在RTX 3060 Laptop的延迟为6 ms,吞吐量为167次/s,在计算单个Falcon密钥树生成部件时相对于CPU实现了1.17倍的加速比,在同时并行1024个Falcon密钥树生成部件时,GPU相对于CPU的加速比达到了约56倍,在嵌入式Jetson Xavier NX平台上的吞吐量为32次/s。

摘要：针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性.

摘要：为了支持SMC构件的分布式计算,提出了基于远程绑定的分布式中间件。该中间件由SMC构件注册服务层、SMC构件远程绑定层和分布式体系结构描述层三部分组成。注册服务层管理分布式计算环境中的构件;远程绑定层提供构件间的远程访问服务;分布式体系结构描述层支持基于SMC/ADL显式规约的分布式SMC构件互操作。通过与RMI、CORBA等中间件的对比实验表明,该中间件在运行阶段为SMC构件实例之间提供了轻量、透明、平滑的分布计算支持,具有良好的实用性和可操作性。

摘要：现阶段,机器人嵌入式系统普遍存在封闭、动态演化性差的问题。针对此种情况,着力于机器人嵌入式系统的改进,以机器人与软件人合一机制为基础,搭建了以附体软件人为控制中心的机器人系统架构,重点对合一机制下的附体软件人进行了研究。首先,以机器知行学理论为引导,提出了软件人知行模型和相应的行为规范;然后,构造了附体软件人的体系结构,并以软件人知行模型为基础对其进行了设计;最后,将理论研究工作物化为一种非线性节点探测机器人进行了应用。实践证明,改造后以附体软件人为控制中心的机器人系统能实现任务的动态、实时更替,且不影响其使用性能。

摘要：提出一种基于OpenLane的专用集成电路(ASIC)设计工具的设计方案.以Gambas开发环境为基础,利用插件技术实现对OpenLane工具链的集成,完成基于OpenLane的ASIC设计工具,即EasyASIC.该工具涵盖工程管理、代码编辑、Verilog代码的编译、仿真、OpenLane初始化文件的配置、GDSII文件的生成、GDS2D和GDS3D显示等功能,从而实现ASIC设计的自动化.以32 bit有符号乘法器为例,对该工具进行功能验证测试.实验结果表明,EasyASIC能够在国产Deepin操作系统下流畅运行,实现32 bit有符号乘法器从寄存器传输级文件描述向GDSII文件的转换,该工具有很强的操作性和易用性,对于提升我国集成电路设计工具软件产业水平具有一定的参考意义.