[发明专利]一种基于软件多样化技术的系统安全性度量方法

权利要求书

1.一种基于软件多样化技术的系统安全性度量方法，其特征在于，包括：

步骤一、建立基于动态异构冗余架构基础的，使用多样化编译工具对执行体进行编译的系统安全性度量架构；

步骤二、通过所述系统安全性度量架构，对单个执行体的安全性进行度量，得到单个执行体自身攻击抵抗性及其历史裁决结果，利用所述单个执行体自身攻击抵抗性及其历史裁决结果对由若干个执行体组成的执行体集合的安全性进行度量，评价系统的安全性。

2.如权利要求1所述的一种基于软件多样化技术的系统安全性度量方法，其特征在于，所述对单个执行体的安全性度量，具体为：

将执行体a_i的攻击抵抗性和历史抵抗性的加权求和表示为执行体a_i的安全性Rⁱ，表达式为：

其中表示执行体a_i的攻击抵抗性，表示执行体a_i的历史抵抗性，γ为不同抵抗性的影响因子，t表示攻击时间。

3.如权利要求2所述的一种基于软件多样化技术的系统安全性度量方法，其特征在于，所述执行体a_i的攻击抵抗性，利用反编译工具执行攻击的时间来表示，表达式为：

Tⁱ表示对执行体a_i执行反编译攻击成功所需的时间。

4.如权利要求2所述的一种基于软件多样化技术的系统安全性度量方法，其特征在于，所述执行体a_i的历史抵抗性，利用其历史裁决结果来表示，表达式为：

其中，T表示裁决周期，表示执行体a_i第j次裁决结果，若裁决结果正确，则否则

5.如权利要求1所述的一种基于软件多样化技术的系统安全性度量方法，其特征在于，所述对执行体集合的安全性度量，具体为：

在n个执行体组成的执行体集合，至少有m个执行体不被扰动并输出正确结果时，其安全性概率可以表示为：

R_s(t)表示种情况下的概率之和，其中每种情况下的概率都等于执行体输出正确或者错误的概率乘积，correct_i集合表示在第i中情况下输出正确的执行体集合，A-correct_i表示输出错误的执行体集合，correct集合总共有种情况。

6.如权利要求5所述的一种基于软件多样化技术的系统安全性度量方法，其特征在于，当n个执行体输出正确，即没有执行体被攻击成功，则：

当n-1个执行体输出正确，即只有一个执行体被攻击成功，则：

所以m/n裁决策略执行体集合的安全性可以表示为几种场景抵抗性概率的总和，表达式为：

R(t)＝R_s1(t)+R_s2(t)+...+R_sn(t)。