[發明專利]通信協議可信性驗證方法

有效

• 申請號: 202010011586.7
• 申請日: 2020-01-06
• 公開（公告）號: CN111224985B
• 公開（公告）日: 2022-06-03
• 發明（設計）人: 史建琦;黃滟鴻;張繼;任建鵬;于會新;楊洋;張鵬
• 申請（專利權）人: 上海豐蕾信息科技有限公司
• 主分類號: H04L9/40
• 分類號: H04L9/40
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 付婧

本發明公開了一種通信協議可信性驗證方法，包括：通過形式化語言描述滿足安全傳輸指標的需求規范，得到形式化語言描述的需求規范；通過形式化驗證工具對所述形式化語言描述的需求規范進行驗證，得到驗證數據集；根據所述驗證數據集，進行規范檢測。通過上述方法，可以利用形式化驗證工具對需求規范進行驗證，以保證計算平臺系統數據通信的安全性和可靠性。

技術領域

本發明涉及通信技術領域，特別涉及一種通信協議可信性驗證方法。

背景技術

計算平臺系統在如今的工業和生活等多個領域發揮著重要的作用，除了傳統的個人計算機領域，在如今的智能工廠、智能駕駛等新興技術領域也占據著十分重要的地位。值得注意的是，如今的計算平臺不再是簡單的單個節點的運行，如今的計算節點是網絡化系統化的，計算平臺系統間通過數據通信組成一個功能強大的平臺系統，計算平臺系統間可靠的數據通信是保證整個軟件安全運行的基礎，計算平臺系統間的通信是通過平臺的通信協議來進行約束的。

在傳統計算平臺系統的通信協議中人們普遍通過使用自然語言對其進行描述，自然語言雖然具備容易理解，方便等優點，但是也具有較多的致命缺點，例如，自然語言精確性不高，不夠嚴格以及多義性等，這樣會造成不同人對協議描述存在完全不同的理解，從而出現錯誤通信協議。為了達到數據傳輸安全可靠的目的，采取對通信協議進行驗證的方式，可以極大限度地檢測錯誤和缺陷，通信協議驗證包括非形式化驗證和形式化驗證，非形式化驗證往往缺乏數學的嚴密性和科學性，很難保證驗證結果的質量。

發明內容

本公開實施例提供了一種通信協議可信性驗證方法。為了對披露的實施例的一些方面有一個基本的理解，下面給出了簡單的概括。該概括部分不是泛泛評述，也不是要確定關鍵/重要組成元素或描繪這些實施例的保護范圍。其唯一目的是用簡單的形式呈現一些概念，以此作為后面的詳細說明的序言。

第一方面，本公開實施例提供了一種通信協議可信性驗證方法，包括：

通過形式化語言描述滿足安全傳輸指標的需求規范，得到形式化語言描述的需求規范；

通過形式化驗證工具對形式化語言描述的需求規范進行驗證，得到驗證數據集；

根據驗證數據集，進行規范檢測。

進一步地，安全傳輸指標的需求包括：

系統接口需求、用戶界面需求、硬件接口需求、軟件接口需求、通信接口需求。

進一步地，通過形式化語言描述滿足安全傳輸指標的需求規范，得到形式化語言描述的需求規范，包括：

對滿足安全傳輸指標的需求規范進行詞法分析、語法分析、語義分析，得到分析結果；

通過形式化語言描述分析結果，得到形式化語言描述的需求規范。

進一步地，形式化驗證工具，包括：

過程分析工具包(PAT)。

進一步地，驗證數據集，包括：

正確性驗證數據集、完備性驗證數據集、一致性驗證數據集和無歧義性驗證數據集。

進一步地，根據驗證數據集，進行規范檢測，包括：

根據正確性驗證數據集，檢測規范是否正確；

根據完備性驗證數據集，檢測規范是否完備；

根據一致性驗證數據集，檢測規范是否一致；

根據無歧義性驗證數據集，檢測規范是否無歧義。

第二方面，本公開實施例提供了一種通信協議可信性驗證裝置，包括：