[发明专利]通信协议可信性验证方法

说明书

本发明公开了一种通信协议可信性验证方法，包括：通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；通过形式化验证工具对所述形式化语言描述的需求规范进行验证，得到验证数据集；根据所述验证数据集，进行规范检测。通过上述方法，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。

技术领域

本发明涉及通信技术领域，特别涉及一种通信协议可信性验证方法。

背景技术

计算平台系统在如今的工业和生活等多个领域发挥着重要的作用，除了传统的个人计算机领域，在如今的智能工厂、智能驾驶等新兴技术领域也占据着十分重要的地位。值得注意的是，如今的计算平台不再是简单的单个节点的运行，如今的计算节点是网络化系统化的，计算平台系统间通过数据通信组成一个功能强大的平台系统，计算平台系统间可靠的数据通信是保证整个软件安全运行的基础，计算平台系统间的通信是通过平台的通信协议来进行约束的。

在传统计算平台系统的通信协议中人们普遍通过使用自然语言对其进行描述，自然语言虽然具备容易理解，方便等优点，但是也具有较多的致命缺点，例如，自然语言精确性不高，不够严格以及多义性等，这样会造成不同人对协议描述存在完全不同的理解，从而出现错误通信协议。为了达到数据传输安全可靠的目的，采取对通信协议进行验证的方式，可以极大限度地检测错误和缺陷，通信协议验证包括非形式化验证和形式化验证，非形式化验证往往缺乏数学的严密性和科学性，很难保证验证结果的质量。

发明内容

本公开实施例提供了一种通信协议可信性验证方法。为了对披露的实施例的一些方面有一个基本的理解，下面给出了简单的概括。该概括部分不是泛泛评述，也不是要确定关键/重要组成元素或描绘这些实施例的保护范围。其唯一目的是用简单的形式呈现一些概念，以此作为后面的详细说明的序言。

第一方面，本公开实施例提供了一种通信协议可信性验证方法，包括：

通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；

通过形式化验证工具对形式化语言描述的需求规范进行验证，得到验证数据集；

根据验证数据集，进行规范检测。

进一步地，安全传输指标的需求包括：

系统接口需求、用户界面需求、硬件接口需求、软件接口需求、通信接口需求。

进一步地，通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范，包括：

对满足安全传输指标的需求规范进行词法分析、语法分析、语义分析，得到分析结果；

通过形式化语言描述分析结果，得到形式化语言描述的需求规范。

进一步地，形式化验证工具，包括：

过程分析工具包(PAT)。

进一步地，验证数据集，包括：

正确性验证数据集、完备性验证数据集、一致性验证数据集和无歧义性验证数据集。

进一步地，根据验证数据集，进行规范检测，包括：

根据正确性验证数据集，检测规范是否正确；

根据完备性验证数据集，检测规范是否完备；

根据一致性验证数据集，检测规范是否一致；

根据无歧义性验证数据集，检测规范是否无歧义。

第二方面，本公开实施例提供了一种通信协议可信性验证装置，包括：