[發(fā)明專利]面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法及設(shè)備

有效

• 申請(qǐng)?zhí)枺?/td>: 202110277639.4
• 申請(qǐng)日: 2021-03-15
• 公開（公告）號(hào): CN112860533B
• 公開（公告）日: 2022-06-17
• 發(fā)明（設(shè)計(jì)）人: 李騰;劉鳴宇;蔣心燭;張勝凱;溫子祺;謝凡;王申奧;馬建峰
• 申請(qǐng)（專利權(quán)）人: 西安電子科技大學(xué)
• 主分類號(hào): G06F11/34
• 分類號(hào): G06F11/34
• 代理公司: 西安通大專利代理有限責(zé)任公司 61200
• 代理人: 房鑫

1.一種面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法，其特征在于，包括以下步驟：

-對(duì)無(wú)人機(jī)工作日志進(jìn)行解析，挖掘運(yùn)行過(guò)程中事件的先后關(guān)系即時(shí)間不變量；

-通過(guò)解析的無(wú)人機(jī)日志文件構(gòu)建具體模型，進(jìn)行狀態(tài)抽象簡(jiǎn)化之后生成抽象模型；

具體模型中的每個(gè)狀態(tài)都是單個(gè)進(jìn)程狀態(tài)和通道內(nèi)容的元組；

通道內(nèi)容是根據(jù)軌跡中觀察到的消息發(fā)送和接收的序列來(lái)計(jì)算的一個(gè)集合；

-循環(huán)檢查抽象模型是否滿足挖掘出的全部時(shí)間不變量，據(jù)此對(duì)模型進(jìn)行改進(jìn)，直至最終生成并返回滿足全部時(shí)間不變量的模型，由該模型進(jìn)行任務(wù)執(zhí)行過(guò)程信息傳遞的實(shí)時(shí)監(jiān)控。

2.根據(jù)權(quán)利要求1所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法，其特征在于：

依據(jù)不同日志對(duì)應(yīng)的正則表達(dá)式，對(duì)無(wú)人機(jī)工作日志進(jìn)行解析；

無(wú)人機(jī)提供一個(gè)輸入日志、一組定義的正則表達(dá)式和一組通道定義；所述的正則表達(dá)式確定哪些日志行被解析、哪些被忽略、一行的哪一部分對(duì)應(yīng)于向量時(shí)間戳，以及該行表示的本地、發(fā)送或接收事件；所述的通道定義用于將發(fā)送和接收事件與進(jìn)程間通道關(guān)聯(lián)起來(lái)。

3.根據(jù)權(quán)利要求1所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法，其特征在于：使用日志挖掘一組時(shí)間不變量，它們與日志中的事件相關(guān)，反應(yīng)日志中所有事件的先后關(guān)系。

4.根據(jù)權(quán)利要求1所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法，其特征在于：使用first-k-in-channels分區(qū)策略為具體模型生成初始抽象模型，當(dāng)且僅當(dāng)兩個(gè)狀態(tài)的信道狀態(tài)中的first-k消息序列相同時(shí)，該分區(qū)將兩個(gè)系統(tǒng)狀態(tài)分配給同一個(gè)狀態(tài)分區(qū)。

5.根據(jù)權(quán)利要求1所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法，其特征在于：使用McScM模型檢查器循環(huán)檢查抽象模型是否滿足挖掘出的全部時(shí)間不變量。

6.根據(jù)權(quán)利要求1或5所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法，其特征在于，根據(jù)抽象模型是否滿足挖掘出的全部時(shí)間不變量對(duì)模型進(jìn)行改進(jìn)的方法為：

情況1：不變量在模型中成立，即日志中所描述的先后關(guān)系都已反應(yīng)在模型中，且無(wú)矛盾出現(xiàn)，則此模型已滿足要求；

情況2：該不變量不成立，將查找并報(bào)告一個(gè)計(jì)數(shù)器示例抽象模型執(zhí)行；抽象模型執(zhí)行是遵循抽象模型語(yǔ)義的事件序列；一個(gè)反例抽象模型執(zhí)行一系列違反不變量的事件，在這種情況下，重新定義抽象模型以消除反例，然后建模檢查該不變量，防止存在另一個(gè)反例；

情況3：無(wú)法在定義的閾值內(nèi)終止，則在返回超時(shí)的不變量之前，先檢查不同的不變量。

7.一種面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)系統(tǒng)，其特征在于，包括：

日志解析模塊，用于對(duì)無(wú)人機(jī)工作日志進(jìn)行解析，挖掘運(yùn)行過(guò)程中事件的先后關(guān)系即時(shí)間不變量；

模型構(gòu)建模塊，用于通過(guò)解析的無(wú)人機(jī)日志文件構(gòu)建具體模型，然后進(jìn)行狀態(tài)抽象簡(jiǎn)化之后生成抽象模型；具體模型中的每個(gè)狀態(tài)都是單個(gè)進(jìn)程狀態(tài)和通道內(nèi)容的元組；通道內(nèi)容是根據(jù)軌跡中觀察到的消息發(fā)送和接收的序列來(lái)計(jì)算的一個(gè)集合；

模型檢查與改進(jìn)模塊，用于循環(huán)檢查抽象模型是否滿足挖掘出的全部時(shí)間不變量，據(jù)此對(duì)模型進(jìn)行改進(jìn)，直至最終生成并返回滿足全部時(shí)間不變量的模型；

異常檢測(cè)模塊，由滿足全部時(shí)間不變量的模型進(jìn)行任務(wù)執(zhí)行過(guò)程信息傳遞的實(shí)時(shí)監(jiān)控。

8.一種終端設(shè)備，包括存儲(chǔ)器、處理器以及存儲(chǔ)在所述存儲(chǔ)器中并可在所述處理器上運(yùn)行的計(jì)算機(jī)程序，其特征在于：所述的處理器執(zhí)行所述的計(jì)算機(jī)程序時(shí)實(shí)現(xiàn)如權(quán)利要求1至6中任意一項(xiàng)所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法的步驟。

9.一種計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)，所述計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)存儲(chǔ)有計(jì)算機(jī)程序，其特征在于：所述的計(jì)算機(jī)程序被處理器執(zhí)行時(shí)實(shí)現(xiàn)如權(quán)利要求1至6中任意一項(xiàng)所述面向分布式無(wú)人機(jī)群網(wǎng)絡(luò)日志分析的異常檢測(cè)方法的步驟。