[發(fā)明專利]一種安全協(xié)議建模端與驗證端的跨平臺方法、計算機及存儲介質(zhì)

在審

• 申請?zhí)枺?/td>: 202011376723.3
• 申請日: 2020-11-30
• 公開（公告）號: CN112506489A
• 公開（公告）日: 2021-03-16
• 發(fā)明（設(shè)計）人: 何錦龍;劉知昊;王沁煜;李勇堅;吳志林
• 申請（專利權(quán)）人: 廣州市智能軟件產(chǎn)業(yè)研究院
• 主分類號: G06F8/30
• 分類號: G06F8/30;G06F8/41
• 代理公司: 廣州微斗專利代理有限公司 44390
• 代理人: 陳文爽

1.一種安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，包括如下步驟：

獲取建模模型的數(shù)據(jù)；

使用XML文件來描述建模模型的數(shù)據(jù)；

使用抽象語法樹作為多平臺驗證器和/或代碼生產(chǎn)器的中間表示；

建模模型的數(shù)據(jù)模型傳輸至所述抽象語法樹，并通過腳本文件建立從模型工具到多平臺驗證器和/或代碼生成器的控制流。

2.如權(quán)利要求1所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，所述使用XML文件來描述建模模型的數(shù)據(jù)包括：

確定基于可擴展標記語言從建模模型向驗證器的模型表示范式，使用XML元數(shù)據(jù)和XML屬性來標識模型中的數(shù)據(jù)類型、進程模板、運行狀態(tài)、公理、初始知識、信道模板、狀態(tài)結(jié)點和遷移的內(nèi)容；

確定基于可擴展標記語言從建模模型向驗證器的模型解析流程，對模型自底向上多次掃描以獲取數(shù)據(jù)類型、進程模板、運行狀態(tài)、初始知識、信道模板、狀態(tài)結(jié)點和遷移的內(nèi)容，并保持其間的引用關(guān)系。

3.如權(quán)利要求2所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，所述掃描包括第一次掃描，第一次掃描時，獲取協(xié)議中的數(shù)據(jù)類型、進行模板、運行狀態(tài)及狀態(tài)之間的轉(zhuǎn)移邊和連線關(guān)系。

4.如權(quán)利要求3所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，所述數(shù)據(jù)類型包括自定義復合數(shù)據(jù)類型，所述掃描包括第二次掃描，第二次掃描時，確認協(xié)議中的自定義復合數(shù)據(jù)類型的屬性和通信方法，確認協(xié)議中進程模板的的屬性和通信方法。

5.如權(quán)利要求4所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，對于用戶自定義的復合數(shù)據(jù)類型，還可以在標簽元素的內(nèi)部添加屬性標簽，同時記錄屬性的類型、標識符和是否是數(shù)組屬性；所述標簽屬性為：Attribute type＝identifier＝isArray＝/。

6.如權(quán)利要求4所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，所述掃描包括第三次掃描，第三次掃描時，確定協(xié)議中的初始知識、該初始知識引用的進程模板、單知識和公鑰私鑰對；還確認協(xié)議中的功能安全性質(zhì)和信息安全性質(zhì)。

7.如權(quán)利要求1所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，所述使用抽象語法樹作為多平臺驗證器和/或代碼生產(chǎn)器的中間表示包括：

確定基于抽象語法樹的遷移條件表達式和賦值表達式的描述方法，提供支持多平臺后端驗證器和/或代碼生產(chǎn)器的通用中間表示；

確定對中間表示的遞歸掃描方法，對語法樹采用先根和后根遍歷結(jié)合的方式，提取出適合于多平臺驗證器和/或代理生成器的條件表達式和賦值表達式語義信息。

8.如權(quán)利要求1所述的安全協(xié)議建模端與驗證端的跨平臺方法，其特征在于，所述建模模型的數(shù)據(jù)模型傳輸至所述抽象語法樹，并通過腳本文件建立從模型工具到多平臺驗證器和/或代碼生成器的控制流包括：

確定適合多操作系統(tǒng)腳本命令的通用調(diào)用方法，對建模模型根據(jù)不同的操作系統(tǒng)采取統(tǒng)一格式的抽象控制流，通過分離控制腳本與建模模型解耦，完成對多種操作系統(tǒng)的驗證器和/或代碼生產(chǎn)器的命令控制。

9.一種計算機，其特征在于，包括存儲器和處理器，所述存儲器中存儲有計算機程序，所述計算機程序被處理器執(zhí)行時，使得所述處理器執(zhí)行如權(quán)利要求1-8任一項所述方法的步驟。

10.一種存儲有計算機程序的存儲介質(zhì)，其特征在于，所述計算機程序被一個或者多個處理器執(zhí)行時，使得一個或多個處理器執(zhí)行如權(quán)利要求1-8任一項所述方法的步驟。