劉伎昭,王泉
(西安電子科技大學(xué)計算機(jī)學(xué)院,710071,西安)
?
車載自組網(wǎng)中聯(lián)盟博弈的虛假數(shù)據(jù)檢測策略
劉伎昭,王泉
(西安電子科技大學(xué)計算機(jī)學(xué)院,710071,西安)
針對車載自組網(wǎng)(vehicular ad-hoc network, VANET)中多個惡意節(jié)點(diǎn)合謀的虛假數(shù)據(jù)攻擊問題,提出了聯(lián)盟博弈的虛假數(shù)據(jù)檢測策略。該策略利用合作節(jié)點(diǎn)測量的無線信號強(qiáng)度進(jìn)行交叉位置驗證,發(fā)現(xiàn)偽造位置的惡意節(jié)點(diǎn)及其注入的虛假信息。為降低節(jié)點(diǎn)自私行為對檢測準(zhǔn)確性的影響,提出了滿足“核”分配條件的收益分配函數(shù)激勵節(jié)點(diǎn)加入聯(lián)盟;證明了該函數(shù)滿足個體理性條件和有效性條件,節(jié)點(diǎn)的最優(yōu)策略是選擇合作,形成的聯(lián)盟具有穩(wěn)定性。仿真結(jié)果表明:該策略能夠有效激勵節(jié)點(diǎn)合作,降低無線信號強(qiáng)度的隨機(jī)偏差對位置驗證準(zhǔn)確性的影響,獲得了超過90%的虛假位置檢測率,并進(jìn)一步增強(qiáng)了系統(tǒng)的抗合謀攻擊能力,在不同的惡意節(jié)點(diǎn)比例下虛假告警消息檢測率比基于表決的攻擊者本地驅(qū)逐協(xié)議(local eviction of attackers by voting evaluators, LEAVE)提高了69.3%。
車載自組網(wǎng);虛假數(shù)據(jù)檢測;合作博弈;聯(lián)盟博弈
車載自組網(wǎng)[1](vehicular ad-hoc network, VANET)是安裝在車輛上的無線節(jié)點(diǎn)(on board unit, OBU)和部署在路邊的基礎(chǔ)設(shè)施(road side unit, RSU)組成的自組織異構(gòu)多跳無線網(wǎng)絡(luò),是未來智能交通系統(tǒng)的關(guān)鍵技術(shù)。VANET中OBU通過車載傳感器感知車輛的位置、速度、加速度等信息,利用無線自組織網(wǎng)絡(luò)技術(shù)交換、聚合和分發(fā)這些信息,從而實現(xiàn)事故告警、協(xié)作駕駛等多種應(yīng)用[2]。
出于節(jié)點(diǎn)自私性、傳感器故障或惡意攻擊等多種原因,VANET中OBU可能發(fā)送不準(zhǔn)確,甚至虛假的信息。例如錯誤的車輛位置、偽造的告警信息等[3]。由于攻擊者一般為網(wǎng)絡(luò)合法節(jié)點(diǎn),能夠產(chǎn)生合法的消息簽名[4],現(xiàn)有的基于消息和實體認(rèn)證的VANET安全機(jī)制[5-6]難以有效檢測和抵御此類攻擊。文獻(xiàn)[7]提出了基于軌跡的檢測方法,通過檢測目標(biāo)車輛的位置、移動軌跡與報告的交通事件之間是否存在矛盾判斷告警消息的真實性,例如交通事件超出車輛的觀測范圍、車輛速度異常(超過300 km/h)、發(fā)出道路擁堵通告的車輛卻高速行駛等。Raya等提出了多節(jié)點(diǎn)合作的檢測方法,節(jié)點(diǎn)統(tǒng)計鄰居節(jié)點(diǎn)提供的數(shù)據(jù)并將顯著偏離均值的數(shù)據(jù)視為虛假數(shù)據(jù),通過對嫌疑節(jié)點(diǎn)發(fā)起指控和迭代的節(jié)點(diǎn)可信度計算發(fā)現(xiàn)不端節(jié)點(diǎn)[8]。文獻(xiàn)[9-10]提出了合作的位置驗證方法,節(jié)點(diǎn)通過測量接收的無線信號強(qiáng)度(radio signal strength, RSS)估計與鄰居節(jié)點(diǎn)之間的相對距離,通過三角定位法計算節(jié)點(diǎn)真實位置。由于VANET中節(jié)點(diǎn)屬于不同的利益主體,具有自私性和自治性,出于自身利益考慮節(jié)點(diǎn)可能不合作,造成“搭便車”現(xiàn)象并導(dǎo)致檢測率的降低,而上述合作檢測方法都沒有考慮自私節(jié)點(diǎn)問題。此外,如果網(wǎng)絡(luò)中存在合謀的惡意節(jié)點(diǎn),通過注入虛假觀測數(shù)據(jù)的方法攻擊檢測系統(tǒng),也能影響檢測準(zhǔn)確性。
本文提出了聯(lián)盟博弈的VANET合作虛假數(shù)據(jù)檢測策略。節(jié)點(diǎn)基于接收信號強(qiáng)度估計與鄰居節(jié)點(diǎn)的距離,多個節(jié)點(diǎn)形成聯(lián)盟進(jìn)行交叉位置驗證,評判節(jié)點(diǎn)位置真實性,檢測偽造虛假位置的惡意節(jié)點(diǎn)及其提交的虛假觀測信息,增強(qiáng)檢測系統(tǒng)的抗合謀攻擊能力。提出的激勵策略根據(jù)節(jié)點(diǎn)在聯(lián)盟形成中的作用決定收益分配比例,基于“核”概念分析了聯(lián)盟的穩(wěn)定性,證明了節(jié)點(diǎn)加入聯(lián)盟能夠增加自己的收益,所有節(jié)點(diǎn)參與的“大聯(lián)盟”能夠?qū)崿F(xiàn)個體收益的最大化,任何節(jié)點(diǎn)子集無法通過分裂聯(lián)盟提高收益水平。
1.1 網(wǎng)絡(luò)模型
VANET由車輛節(jié)點(diǎn)、路邊基礎(chǔ)設(shè)施和認(rèn)證中心組成。本文涉及兩種類型的消息:beacon消息和告警消息。車輛節(jié)點(diǎn)周期性地廣播beacon消息向鄰居車輛報告自己的位置、速度、加速度、方向等運(yùn)動狀態(tài)信息,廣播間隔為100~300 ms。在發(fā)生緊急交通事件時,車輛節(jié)點(diǎn)發(fā)送包含事件類型、位置、時間等信息的告警消息[11]。
1.2 聯(lián)盟博弈模型
使用聯(lián)盟博弈[12]建模多個理性的自治主體之間彼此協(xié)作增加各自收益的行為。聯(lián)盟博弈定義如下。
定義1 聯(lián)盟博弈是一個有序?qū)?N,v>,其中N是參與者集合,v:2N→R是滿足v(?)=0的特征函數(shù)。實值函數(shù)v(S)是多個參與者彼此合作結(jié)成聯(lián)盟S時,聯(lián)盟成員獲得的收益。所有參與者組成的聯(lián)盟稱為大聯(lián)盟,記為N。大聯(lián)盟的收益記為v(N)。
定義2 在n人聯(lián)盟博弈
xi≥v({i}),i=1,2,…,n
(1)
(2)
x稱為一個分配。全體分配稱為分配集,記為I(N,v)。式(1)為個體理性條件,即任何一個參與人加入聯(lián)盟分配到的收益應(yīng)該不小于獨(dú)自行動得到的收益。式(2)為有效性條件,即所有收益都被分配沒有剩余。
定義3 設(shè)
(3)
這種分配x組成的集合稱為博弈的核,記為C(v)。利用式(3)對分配方案是否為核的檢驗過程稱為獨(dú)立性檢驗。核中的分配意味著不存在參與人或參與人組合能夠從大聯(lián)盟中分裂出去以獲得更高的收益,即大聯(lián)盟是穩(wěn)定的。
本文假設(shè)的多惡意節(jié)點(diǎn)合謀虛假數(shù)據(jù)攻擊場景如圖1所示,惡意節(jié)點(diǎn)1為了獲得更快的通行速度,發(fā)送虛假的交通事故告警消息聲稱車輛4發(fā)生了交通事故,從而誘導(dǎo)前方車輛2駛出當(dāng)前道路。事件觀測范圍內(nèi)的節(jié)點(diǎn)可以通過投票方式判斷告警消息的真實性。由于節(jié)點(diǎn)3和6是誠實節(jié)點(diǎn),因此虛假告警消息可成功檢出,但事件觀測范圍之外的合謀節(jié)點(diǎn)1和5通過聲稱虛假位置將自己偽裝為觀測節(jié)點(diǎn)參與投票,能夠影響投票結(jié)果使受害節(jié)點(diǎn)2相信虛假的交通事件。
圖1 合謀攻擊場景
本文使用節(jié)點(diǎn)合作機(jī)制增強(qiáng)檢測系統(tǒng)的抗合謀攻擊能力。節(jié)點(diǎn)合作包括兩個方面:首先,每個觀測節(jié)點(diǎn)通過測量接收信號強(qiáng)度估計與鄰居節(jié)點(diǎn)的相對距離,多個節(jié)點(diǎn)彼此合作進(jìn)行交叉位置驗證,可以發(fā)現(xiàn)偽造虛假位置的惡意節(jié)點(diǎn);其次,節(jié)點(diǎn)彼此合作收集目標(biāo)區(qū)域內(nèi)車輛運(yùn)動狀態(tài)信息,通過檢測交通流異常判斷告警消息的真實性,例如交通事故的發(fā)生會造成車道阻塞,上游區(qū)域內(nèi)車輛減速、變道至鄰近車道,下游區(qū)域內(nèi)車輛將會做出加速、變道回原車道等動作。
2.1 檢測過程
任意接收到告警消息的車輛可以發(fā)送檢測請求發(fā)起合作的虛假數(shù)據(jù)檢測,發(fā)送請求的車輛稱為檢測車輛。檢測請求指定了事件的類型、位置和發(fā)生時間,通過安全組播路由協(xié)議轉(zhuǎn)發(fā)到觀測范圍內(nèi)所有觀測車輛。
步驟1 證詞采集。通過監(jiān)測目標(biāo)區(qū)域內(nèi)車輛的運(yùn)動參數(shù)發(fā)現(xiàn)異常車輛。使用隨機(jī)變量V和A表示正常通行狀態(tài)下車輛的速度和加速度,假設(shè)其分布為已知,定義目標(biāo)車輛異常低速為速度v
P[v (4)