[發明專利]基于源代碼插樁的社交網絡安全運行時驗證方法及系統

有效

• 申請號: 201710772215.9
• 申請日: 2017-08-31
• 公開（公告）號: CN107679400B
• 公開（公告）日: 2020-09-25
• 發明（設計）人: 王小兵;郭文軒;段振華;趙亮;田聰;張南
• 申請（專利權）人: 西安電子科技大學
• 主分類號: G06F21/54
• 分類號: G06F21/54;G06Q50/00
• 代理公司: 西安長和專利代理有限公司 61227
• 代理人: 黃偉洪

1.一種基于源代碼插樁的社交網絡安全運行時驗證方法，其特征在于，所述基于源代碼插樁的社交網絡安全運行時驗證方法通過對開源社交網絡進行代碼插樁來捕獲事件，用PPTL₃描述性質并生成相應的性質監控模塊，然后將事件和性質監控模塊輸入運行時監控器，通過運行時監控器自動的實時監控開源社交網絡的運行是否符合給定的性質；

所述基于源代碼插樁的社交網絡安全運行時驗證方法包括以下步驟：

步驟一，根據性質生成性質監控模塊；

步驟二，對開源社交網絡進行源代碼插樁，以捕獲事件和發送事件；

步驟三，實現運行時監控器，并在運行時監控器中監控步驟二中所述開源社交網絡的運行過程是否滿足性質監控模塊；

所述步驟二中進行源代碼插樁的方法包括：確定開源社交網絡中與待驗證的性質相關的事件，并定位這些事件在源代碼中對應的位置，接著將捕獲事件和發送事件的樁代碼插入開源社交網絡源代碼的正確位置，具體為：

定義一個字符串來存儲捕獲的事件，字符串的格式為：“action:name＝{$user-name}；time＝{$action_time}；flag＝{$action_flag}；”；action表示用戶的操作或者內容的提交，name表示觸發這次action的用戶主體，time表示action觸發的時間，flag表示action觸發是否成功，flag有兩個值，0表示失敗，1表示成功，上述字符串即為一個完整的事件；

定義通信函數send_rv_data：用來發送捕獲的事件，send_rv_data函數使用socket與運行時監控器的接收服務器通信。

2.如權利要求1所述的基于源代碼插樁的社交網絡安全運行時驗證方法，其特征在于，所述步驟一需確定待驗證的開源社交網絡中的性質，并采用PPTL₃公式P描述性質，使用PPTL₃監控模塊生成器將公式P轉換為有限狀態自動機。

3.如權利要求1所述的基于源代碼插樁的社交網絡安全運行時驗證方法，其特征在于，所述運行時監控器是一個Java應用程序，具體為：

定義類Edge：用于描述性質監控模塊中的邊；

定義類MonitorSNSTrace：用于完成運行時驗證的主類，下面是其中主要函數的定義及功能：

定義函數readGraph：用于從文件中讀取性質監控模塊的邊以及節點信息；

定義函數RVServer：用于接收從樁代碼發來的數據；

定義函數getSingleTrace：用于分析從樁代碼接收到數據，并根據數據計算原子命題的值，然后將原子命題組合起來；

定義函數matchEdgeWithProperties：判斷當前原子命題的組合是否滿足性質監控模塊的邊上信息；

定義函數verificationSingle：監控原子命題的組合輸入后性質監控模塊的狀態變化；

定義函數monitor：監控性質以及輸出監控結果。

4.如權利要求1所述的基于源代碼插樁的社交網絡安全運行時驗證方法，其特征在于，所述運行時監控器對開源社交網絡監控的方法具體包括：運行時監控器接收從樁代碼發來的事件，并根據事件給性質中的每個原子命題賦值，并將已經賦值的原子命題作為性質監控模塊的輸入，根據這些原子命題得到性質監控模塊的下一個節點，通過性質監控模塊的狀態來判斷社交網絡是否滿足給定性質。

5.一種如權利要求1所述基于源代碼插樁的社交網絡安全運行時驗證方法的基于源代碼插樁社交網絡安全運行時驗證系統，其特征在于，所述基于源代碼插樁社交網絡安全運行時驗證系統包括：

性質監控生成模塊，用于根據性質生成性質監控模塊；

插樁模塊，用于對開源社交網絡進行源代碼插樁，以捕獲事件和發送事件；

運行判斷模塊，用于實現運行時監控器，并在運行時監控器中監控開源社交網絡的運行過程是否滿足性質監控模塊。

6.一種應用權利要求1～4任意一項所述基于源代碼插樁的社交網絡安全運行時驗證方法的社交網絡。