[发明专利]一种基于行为特征自动机模型的软件漏洞检测方法

权利要求书

1.一种基于行为特征自动机模型的软件漏洞检测方法，其特征在于，该方法包括以下步骤：

1)将具有数据约束的自动机模型从漏洞行为特征库中载入流程，建立具有数据约束的自动机模型；

2)通过自动机模型将漏洞行为特征库中的行为特征序列转换成行为特征语言；

3)通过自动机模型循环判断行为特征是否具有唯一性或度量行为特征个体间的相似性，若行为特征具有唯一性，则执行步骤4)，若行为特征具有相似性，则执行步骤5)；

4)根据行为特征的语义，自动机模型基于数理逻辑检测软件状态，并报告软件漏洞的存在性；

5)根据行为特征的语义，自动机模型基于贝叶斯逻辑检测软件状态，并报告软件漏洞的存在性。

2.根据权利要求1所述的一种基于行为特征自动机模型的软件漏洞检测方法，其特征在于，所述的自动机包括有限状态自动机和行为特征自动机，所述的有限状态自动机判断行为特征是否具有唯一性，所述的行为特征自动机度量行为特征个体间的相似性。

3.根据权利要求1所述的一种基于行为特征自动机模型的软件漏洞检测方法，其特征在于，所述的基于数理逻辑检测软件状态具体为：

采用命题逻辑或谓词逻辑表达行为特征的语义，自动机模型根据已知行为特征，判断是否存在软件漏洞。

4.根据权利要求1所述的一种基于行为特征自动机模型的软件漏洞检测方法，其特征在于，所述的基于贝叶斯逻辑检测软件状态具体为：

在行为特征语义的基础上，利用贝叶斯公式，构建概率逻辑，通过自动机模型判断是否存在软件漏洞。