一种基于多粒度特征的软件多样性评估方法

针对现有软件多样性评估方法普遍采用单一特征,无法准确表征软件特性进而导致评估准确度较低的问题,提出了一种基于多粒度特征的软件多样性评估方法。该方法从程序的指令、函数、基本块、二进制文件4个粒度进行分析,首先通过小素数乘积法、动态权重分配等算法获取不同粒度的差异度特征,然后根据差异度分析该粒度的多样性,进而探讨多样化技术的有效性。实验部分采用GNU核心程序集,对指令替换、控制流平坦、伪控制流、NOP插入等7种软件多样化方法进行了综合评估,分析了不同软件多样化方法对不同粒度的特征带来的差异程度和多样性,验证了评估算法的适用性。实验结果表明,该评估方法能够从纵向和横向两个方向对软件多样化方法的有效性进行准确评估,对后续多样化技术的研究具有参考价值。

含复铰运动链支路矩阵描述方法及同构判定

在运动链构型综合过程中,相似运动链的同构判定是一个复杂且耗时的问题。提出了一种含复铰运动链支路矩阵的同构判定新方法。针对运动链中复合铰链难以识别和处理问题,提出了一种多元构件编号及支路矩阵描述方法,从而有效描述了运动链中的构件和复合铰链等信息,并且该方法具有运动链结构描述的唯一性。然后,提出了支路矩阵的素数乘积法对含复合铰链运动链进行同构判定。利用支路矩阵的多元构件编号方法可直观地比较不同运动链的对应关系,通过比较支路矩阵最后一行和素数乘积数组进行同构判定。通过案例证明该方法准确、有效且简便。