1.一种基于实施本体的安全协议实施安全性分析方法，其特征在于，包括：

步骤S1：获取目标安全协议实施规范，并基于目标安全协议实施规范构造安全协议实施本体框架，再完善安全性协议实施本体框架构建安全协议实施本体；

步骤S2：建立安全协议轨迹到安全协议实施本体的之间映射关系；

步骤S3：根据安全协议轨迹、安全协议实施本体以及安全协议轨迹到安全协议实施本体的之间映射关系，对安全协议的实施进行分析，获得安全协议实施安全性分析结论。

2.如权利要求1所述的方法，其特征在于，步骤S1具体包括：

步骤S1.1：从预设目标数据源获取目标安全协议实施规范；

步骤S1.2：采用三元组描述O:＝{C,H,R}目标安全协议实施规范，构造安全协议实施本体框架，其中，C表示概念集合，H表示概念的层次关系，R表示概念关系，Flow作为根的概念节点，Flow由多条Msg组成，Msg由Msg_Num和Token组成，Token包括Key、Token_Num和VeribleField，VeribleField包括VeribleField_Type，Flow表示轨迹流，Msg表示信息，Msg_Num表示信息的编号，Token表示口令，Key表示Token的标签，Token_Num表示Token的编号，VeribleField表示Key对应的值，VeribleField_Type表示VF的类型；

步骤S1.3：从目标安全协议实施规范提取出每个Token按照Msg和Token_Num的顺序挂在安全协议实施本体框架上，输出安全协议实施本体。

3.如权利要求2所述的方法，其特征在于，安全协议实施本体包括三层结构，Flow、Msg和Token，步骤S2具体包括：步骤S2.1：计算安全协议轨迹Token到本体Token的权值；

步骤S2.2：根据安全协议轨迹Token到本体Token的权值，计算安全协议轨迹Msg到本体Msg的权值；

步骤S2.3：根据安全协议轨迹Msg到本体Msg的权值，基于贪心算法，进行Flow匹配，寻找轨迹Msg与本体Msg的一个最优匹配，从而获得安全协议轨迹到安全协议实施本体的之间的最优匹配，将其作为映射关系。

4.如权利要求3所述的方法，其特征在于，步骤S2.1具体包括：

步骤S2.1.1：基于Levenshtein距离，提出Key加权方法，计算轨迹到本体的关键词的权值，其中，Key加权方法如公式(1)所示：Weight(Key1,Key2)＝1-LevenshteinRatio(Key1,Key2)    公式(1)其中，Weight(Key1,Key2)表示轨迹Key1到实施本体Key2的权值，LevenshteinRatio(Key1,Key2)为轨迹Key1到本体Key2的Levenshtein距离比；

步骤S2.1.2：提出VF类型加权方法，并根据VF类型加权方法计算关键词对应的数据类型之间的权值；

步骤S2.1.3：采用欧式距离计算方法，结合关键词权值和数据类型权值计算轨迹Token到本体Token之间的权值，其中计算方法如公式(2)所示：其中，Weight(Token1,Token2)表示轨迹Token到本体Token之间的权值，Weight(VF1,VF2)表示Token中VF到本体Token中VF的权值。

5.如权利要求3所述的方法，其特征在于，步骤S2.2具体包括：

步骤S2.2.1：Token选择方法：基于Token匹配方法，计算轨迹Token到本体Token匹配的权值Weight；基于贪心算法计算轨迹Token到本体Token的一个最优匹配，从轨迹和本体中分别去除最大匹配的轨迹Token与本体Token；迭代执行贪心算法和去除的步骤直至完成所有Token的匹配，输出轨迹Token到本体Token的匹配和每组Token匹配的权值Weight；

步骤S2.2.2：MSG匹配比例加权方法：将产生的轨迹Token到本体Token的匹配和每组Token匹配的权值Weight作为MSG匹配比例加权方法的输入，计算两个Msg之间的权值，Msg匹配比例加权算法如公式(3)所示：其中，Weight(Msgt,Msgn)表示轨迹Msgt到实施本体Msgn的权重，numt表示轨迹中匹配上本体的Token数量，numn表示本体中Token的总数量， 表示轨迹Tokent到实施本体Tokenn的总权值。

6.如权利要求4所述的方法，其特征在于，步骤S2.1.2具体包括：

步骤S2.1.2.1：通过本体VF确定对应的正则表达式；

步骤S2.1.2.2：将轨迹VF输入到该正则表达式，判断输出结果的类型，如果输出结果为False，则直接输出False，如果输出结果为True，则执行步骤S2.1.2.3；

步骤S2.1.2.3：通过正则表达式包含关系确定最小正则表达式类型；

步骤S2.1.2.4：将最小正则表达式类型作为轨迹VF的类型，通过查询正则表达式匹配得分表获得轨迹VF到本体VF的匹配得分。

7.如权利要求3所述的方法，其特征在于，步骤S2.3具体包括：

步骤S2.3.1：Msg选择方法：对Flow中的所有Msg采用Msg匹配方法，两两计算Msg之间的权值Weight(Msgt,Msgn)，Msgt和Msgn表示Flow中的两条Msg；然后，基于贪心算法，选择权值Weight(Msgt,Msgn)最大的匹配S作为输出，S是匹配的轨迹Msgt与本体Msgn的集合；

步骤S2.3.2：位置比例匹配方法：位置比例匹配方法输入为集合S，通过公式(4)计算P值，选择最小P值的Msgt和Msgn作为位置比例匹配的输出，其中，Numt和NumN分别表示轨迹Msg的总数和本体Msg的总数，t和n表示轨迹中第t条Msg和本体Msg中第n条Msg；

步骤S2.3.2：迭代执行步骤S2.3.1～S2.3.2完成所有Msg的匹配。

8.一种基于实施本体的安全协议实施安全性分析装置，其特征在于，包括：

安全协议实施本体构建模块，用于获取目标安全协议实施规范，并基于目标安全协议实施规范构造安全协议实施本体框架，再完善安全性协议实施本体框架构建安全协议实施本体；

映射关系建立模块，用于建立安全协议轨迹到安全协议实施本体的之间映射关系；

安全性分析模块，用于根据安全协议轨迹、安全协议实施本体以及安全协议轨迹到安全协议实施本体的之间映射关系，对安全协议的实施进行分析，获得安全协议实施安全性分析结论。

9.一种计算机可读存储介质，其上存储有计算机程序，其特征在于，该程序被执行时实现如权利要求1至7中任一项权利要求所述的方法。

10.一种计算机设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时实现如权利要求1至7中任一项权利要求所述的方法。