[发明专利]一种安全协议实施安全性分析方法、装置、介质及设备

说明书

本发明提供了一种基于实施本体的安全协议实施安全性分析方法及装置，其中的方法首先获取目标安全协议实施规范，并基于目标安全协议实施规范构造安全协议实施本体框架，再完善安全性协议实施本体框架构建安全协议实施本体；然后建立安全协议轨迹到安全协议实施本体的之间映射关系，再根据安全协议轨迹、安全协议实施本体以及安全协议轨迹到安全协议实施本体的之间映射关系，对安全协议的实施进行分析，获得安全协议实施安全性分析结论。本发明可以自动分析轨迹中各个成分与安全协议实施规范的差异，最终得出安全性分析结果。该方法应用广泛，能够用于知识产权敏感，安全要求高的领域，并且能及时分析和监控安全协议实施，避免造成重大损失。

技术领域

本发明涉及信息安全技术领域，具体涉及一种基于实施本体的安全协议实施安全性分析方法及装置。

背景技术

随着网络通信技术的快速发展，web应用的安全越来越成为研究者们关注的重点，为保护web应用中安全协议实施的安全性与数据完整性，通常使用安全协议进行安全保护。

安全协议作为在网络空间中提供安全服务的通信协议，是网络安全的重要组成部分，其作为人们对隐私数据的保护载体，通过安全协议进行实体间的认证、密钥的安全分配等工作，安全协议在保证用户的信息安全方面起着至关重要的作用。

现有技术中，通常采用程序验证方法与模型抽取方法来研究安全协议实施安全性。本发明申请人在实施本发明的过程中，发现：这两种方法都依赖于获取并理解安全协议实施。然而，随着知识产权保护力度的加强，现阶段很难获取安全协议实施，又因为代码混淆技术的广泛应用使得代码的阅读和理解成为一项费时费力的工作，通过直接分析安全协议实施来保障网络空间安全非常困难。

由此可知，现有技术中的方法存在实施困难、无法保证安全性的技术问题。

发明内容

有鉴于此，本发明提供了一种基于实施本体的安全协议实施安全性分析方法及装置，用以解决或者至少部分解决现有技术中的方法存在实施困难、无法保证安全性的技术问题。

为了解决上述技术问题，本发明第一方面提供了一种基于实施本体的安全协议实施安全性分析方法，包括：

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

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

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

在一种实现方式中，步骤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的顺序挂在安全协议实施本体框架上，输出安全协议实施本体。

在一种实现方式中，安全协议实施本体包括三层结构，Flow、Msg和Token，步骤S2具体包括：