“高副低代“的运动学等价关系

本文通过定义运动副的“形状矩阵”建立了一个统一描述高副和低副的符号体系。基于这一符号体系,通过Euler角分解,确定了高运动副由低运动副代替的运动学等价关系,从而采用低副机构运动学、动力学分析的研究成果来研究高副机构的运动学、动力学分析奠定了基础。     

论数字时代的企业形象设计

数字时代企业形象设计领域在不断扩大,数字技术给企业形象设计带来新趋势:它导致企业形象设计语言的重构;使企业形象设计更加人性化;促进企业形象数字化进程.数字化时代企业形象设计变得更加丰富和多元化.     

改进的Mastui算法差分路径自动化搜索方法

本文首先对Mastui算法进行了两方面的改进,首先重构了S盒差分分布表,转变成密集型哈希表。然后提出基于向量的一种严格剪枝技术,可以尽早筛选掉不满足的差分路径。然后将改进算法应用到了Feistel结构和SP结构类型的分组密码中,以轻量级分组密码MIBS为例,应用所给出的自动化搜索技术,搜索出4轮的最优差分概率为2-12,相比文献[2]所声称MIBS最好的4轮差分特征概率为2-16,具有更优结果。本文同时也给出其r(8≤r≤12)轮的差分特征,搜索出12轮最优迭代差分路径,其概率为2-56。     

一种新的Keccak 3轮差分路径

通过运用差分分析方法对keccak的非线性运算x进行了研究,发现了其某些特殊性质,并根据keccak线性运算的特性,确定初始4个活跃比特的位置,得到了keccak-f(1600)的3轮差分路径.目前,已有文献在给定2个活跃比特的情况下,得到的3轮最优差分路径,活跃比特数目为12,而本文根据keccak函数特性得到的4个初始活跃比特,经过3轮差分运算,活跃比特数目仅为24.     

Feistel-SP结构迭代差分的自动化搜索

基于新的符号差分表示方法提出了一种自动化搜索技术,可以搜索出典型Feistel-SP结构的分组密码的最优迭代差分模式,选择合适的迭代差分模式可以遍历出所有最优的迭代差分路径,不仅大大降低计算复杂性,还能通过迭代差分模式构造出多轮最优差分路径。以轻量级分组密码MIBS为例,应用自动化搜索工具,给出了MIBS的3轮、4轮最优迭代差分路径,概率分别为2-20、2-26,并搜索出所有满足条件的最优迭代差分路径。     

基于环签名思想的前向安全匿名签名方案

基于模合数平方根和因子分解问题的难解性,利用环签名的思想提出一种前向安全可撤消匿名签名方案。该方案使管理员必须和签名接收方合作才能追踪签名者的身份;签名者可以灵活地、主动地选择匿名范围;即使攻击者非法获取了用户当前签名密钥,也无法伪造之前的签名。     

基于全模型的车辆工程环境

为了实现基于Web的车辆设计计算方法、模型、数据、经验、软件工具等资源共享与重用,提出基于流程树和产品结构树的产品全模型概念,并建立了基于全模型的用于支持车辆设计、分析,优化的工程环境.全模型分为成熟全模型和非成熟全模型,又可分为产品总体全模型、部件全模型,零件全模型.论述了全模型及其关联模型的内涵.给出了车辆工程环境体系结构、实现方法.     

可验证的多等级门限多秘密共享方案

目前的多等级门限共享方案中,高等级用户的作用可以被若干个低等级用户联合取代,而多秘密门限共享方案中,所有秘密只能在同一级门限下共享。为克服这两个问题,利用Birkhoff插值法和离散对数的困难性,提出了一个可认证的多等级门限多秘密共享方案。该方案可以同时划分多个等级,而每级门限下可以共享多个秘密。每个参与者只需持有一个子秘密,方便管理与使用。     

BLAKE抗线性化差分分析安全性研究

基于模加、循环及异或运算的系统(ARX系统)通常被认为是设计密码算法的重要基础。在SHA-3第二轮候选算法中,BLAKE等杂凑函数基于该系统设计。通过对BLAKE-32中的模加运算进行线性化,分析了初始差分在各轮运算过程中的扩散情况,得出了初始状态字存在差分时各轮运算中差分的扩散特征。在此基拙上,研究了多次加法运算的线性化逼近概率,并分析了线性化逼近方法对分析算法的有效性。研究表明,线性化情况下,部分初始差分字在BLAKE-32中的扩散效果并不理想,可以将BLAKE算法局部线性化后进行差分攻击。