一種融合擬態(tài)防御的M2M 遠程匿名認證方案*

郁 晨, 陳立全,2, 陸天宇

1. 東南大學 網(wǎng)絡空間安全學院, 南京 211100

2. 網(wǎng)絡通信與安全紫金山實驗室, 南京 211111

1 引言

目前, 物聯(lián)網(wǎng)飛速發(fā)展, 大量的物聯(lián)網(wǎng)設備投入使用, 物聯(lián)網(wǎng)終端設備所承擔的工作變得更廣泛、更多樣、更敏感, 服務商通過這些設備收集用戶的敏感數(shù)據(jù)并分析完成相應的任務. 與此同時, 不法分子也在試圖收集這些敏感數(shù)據(jù)并將這些數(shù)據(jù)用于非法用途, 使得物聯(lián)網(wǎng)系統(tǒng)面臨嚴峻的安全性考驗. 機器對機器(Machine to Machine, M2M) 通信是物聯(lián)網(wǎng)通信業(yè)務的一個重要分支, 是物聯(lián)網(wǎng)中的普遍應用形式[1,2].由于M2M 系統(tǒng)的廣泛分布和應用, M2M 設備本身和M2M 網(wǎng)絡中的安全問題會尤為明顯, 因此建立有效的M2M 安全體系十分重要[3]. 考慮到M2M 設備的計算能力和M2M 系統(tǒng)的安全性需求, 本文引入可信計算來建立M2M 通信中的安全接入機制[4].

Privacy CA[5]和直接匿名認證(Direct Anonymous Attestation, DAA) 是可信計算體系中常用的匿名認證協(xié)議. Privacy CA 協(xié)議中, 平臺的匿名性需要由可信的證書頒發(fā)中心保障, 同時由于認證遠程服務器機制的缺失, 假冒的遠程服務器可以對M2M 設備進行類似于偽基站的攻擊, 所以使用Privacy CA作為M2M 通信系統(tǒng)中的認證協(xié)議是不合適的. DAA 協(xié)議中證書的頒發(fā)方不需要每次認證過程都參與,優(yōu)化了Privacy CA 的協(xié)議的不足之處和效率短板. 中國工程院院士鄔江興于2013 年提出的擬態(tài)防御技術[6]借鑒了生物自我免疫系統(tǒng)的工作機理, 具有內生安全效應, 增強了系統(tǒng)的不可預測性, 從而建立內生的防御體系, 具有高可靠性、高可信性和高可用性的特點[7].

本文將擬態(tài)防御思想與DAA 協(xié)議相結合, 提出了Mimic-DAA (M-DAA) 方案, 進而提出M2M 擬態(tài)防御系統(tǒng), 將M2M 網(wǎng)絡安全的不確定安全威脅問題歸結于魯棒控制理論和技術能解決的問題, 從而在技術架構層面保證了M2M 設備的安全接入. 基于擬態(tài)防御原理的M2M 網(wǎng)絡匿名接入方案應用場景如圖1 所示.

圖1 M2M 設備通信場景Figure 1 M2M device communication scenarios

2 DAA 方案概述

2004 年, 可信計算組織(Trusted Computing Group, TCG) 提出了直接匿名認證協(xié)議DAA[8]來對可信平臺模塊(Trusted Platform Module, TPM) 身份的合法性進行驗證. DAA 協(xié)議中有四個協(xié)議實體,分別是證書的頒發(fā)方Issuer、可信平臺模塊TPM、TPM 所在的主機Host 和簽名的認證方Verifier.其中TPM 和Host 構成了平臺Platform, 也是協(xié)議的簽名方Signer. 在協(xié)議實體之間主要運行了五個協(xié)議[9],包括系統(tǒng)參數(shù)初始化的Setup、平臺申請證書的Join、平臺生成簽名的Sign、簽名檢測的Verify 以及簽名關聯(lián)性檢測的Link. DAA 協(xié)議是一個三方相互認證的過程, 任何一方不合法都能被識別并且造成協(xié)議運行過程的終止[10]. Join 階段是平臺和Issuer 互相認證的過程, 平臺向Issuer 發(fā)送秘密值的零知識證明, Issuer 接收后確認是否為合法平臺發(fā)送的消息, 并向合法的平臺頒發(fā)由其秘密值產生的DAA 證書.Host 確認收到的消息是否為由合法的Issuer 生成的證書, 如果證書合法則保存. Sign 和Verify 階段是對簽名方的身份認證, 簽名方對證書進行盲化處理并結合自身的秘密值完成對消息m的簽名, 驗證方依次驗證證書和簽名的合法性, 但在這個過程中不能獲得平臺的身份信息[11]. Link 協(xié)議中引入基名bsn 來提供用戶可控的關聯(lián)性, 當某一個平臺使用相同的bsn 簽名時, 可以推斷出這些簽名來自于同一個平臺[12].DAA 的運行機制如圖2 所示.

圖2 DAA 協(xié)議運行機制圖Figure 2 DAA protocol operation mechanism diagram

3 M-DAA 方案

M-DAA 對原始的DAA 方案進行了優(yōu)化, 引入了三方之間兩兩認證的機制, 并在Verify 階段之后加入擬態(tài)防御機制. 改進后的流程如圖3 所示. 在本文中使用的符號及其定義如表1 所示.

圖3 改進后的DAA 協(xié)議運行機制圖Figure 3 Improved DAA protocol operation mechanism diagram

表1 本文中的符號及其定義Table 1 Symbols and their definitions in this paper

3.1 初始化設置

TPM 模塊的初始化參數(shù)通過調用TPM 命令生成, 包括私鑰tsk∈Zq和公鑰tpk =tsk, 其中是固定的生成元, 并設計內部輸出參數(shù); 選擇G1,G2,GT三個階為素數(shù)的橢圓曲線有限循環(huán)群和證書頒發(fā)方Issuer 的私鑰, 生成Issuer 的公鑰對和后續(xù)協(xié)議需要用到的散列函數(shù). 初始化算法流程如下.

(3.1.1) 選擇G1,G2,GT三個階為素數(shù)q的橢圓曲線有限循環(huán)群, 其中G1?=G2且不存在從G2到G1的有效同構,G1的生成元為g1,G2的生成元為g2, 存在一個雙線性映射e:G1×G2→GT, 公開參數(shù)(G1,G2,GT,q,g1,g2,e);

(3.1.2) 隨機生成證書頒發(fā)方Issuer 的私鑰isk:x,y ∈Zq, 計算對應的公鑰對(X,Y):X=gx2,Y=gy2, 公開參數(shù)(X,Y);

(3.1.3) 調用域內每個TPM 的TPM.Create() 的固定參數(shù)=g1, 公開TPM 的公鑰tpk, 生成各個子協(xié)議需要用到的散列函數(shù)H: (0,1)?→(0,1)l,HG1: (0,1)?→G1, 公開散列函數(shù)(H,HG1).

3.2 加入(Join) 協(xié)議

在M2M 設備中嵌入可信計算模塊作為DAA 協(xié)議中的TPM 實體,設備自身的主機系統(tǒng)對應于DAA協(xié)議中的Host 實體, 在協(xié)議中平臺既可以作為簽名方, 又可以作為驗證方. 在TPM, Host 和Issuer 三者之間運行Join 協(xié)議[13], Host 作為中間載體完成Issuer 對平臺身份的認證并接收Issuer 發(fā)送的DAA 證書, 其中平臺通過對自身秘密值gsk=tsk+hsk 進行零知識證明來證實自身的合法身份, 同時Host 也可以驗證證書的合法性. 協(xié)議流程如下:

(3.2.1) 接收到Join 的信息后, Issuer 隨機生成一個長度為l的整數(shù)n傳遞給Host.

(3.2.3) Host 產生自己的私鑰hsk, 計算gpk = tpk′·hsk, 然后將(tpk,tpk′,gpk,πtpk) 信息發(fā)送給Issuer.

(3.2.4) Issuer 首先調用VerSPK(πtpk,tpk′,⊥,(‘‘join”,n),⊥) 檢驗(3.2.2) 中簽名(tpk′,πtpk) 的合法性, 進而驗證平臺是否持有秘密值. 然后對gsk=tsk+hsk 作盲化簽名: 計算a ←y,c ←(a+gpk)x. 將cred←(a,c) 作為DAA 證書發(fā)送給Host.特別的, (3.2.4) 中調用 VerSPK 協(xié)議用來驗證 (3.2.2) 中簽名 (tpk′,πtpk) 的合法性, 在 M-DAA 的 Join 和 Verify 階段使用該協(xié)議來驗證 M2M 設備身份的合法性.VerSPK(π,y2,bsnE,bsnL,mt,mh) 協(xié)議步驟如下:

(1) 分析π中的信息(c′,np,s′,Q).

(2) 如果bsnE ?=⊥, 設置?g=HG1(bsnE), 否則設置?g=

(3) 設置U ←?gs′·Q?c′.

(4) 如果c′=H(np,H(mt,(mh,U,bsnL,y2))) 等式成立, 則輸出1, 驗證通過; 否則輸出0,驗證失敗.

(3.2.5) Host 驗證證書的合法性, 通過批量證明的技術[14], 隨機選擇兩個小指數(shù)e1,e2←Zq, 驗證等式e(e1·a,g2)·e(?e1·,Y)·e(e2·c,g2)·e(?e2·(a+gpk),X)=1 是否成立. 同時驗證a ?=1G1. 若兩者都成立則證書合法, Host 保存DAA 證書cred′=(a,c,gpk,n).

3.3 簽名(Sign) 協(xié)議

Sign 協(xié)議運行于TPM 和Host 之間, 持有合法證書的平臺對數(shù)據(jù)信息進行簽名操作, 由可信的第三方服務器或其他可信平臺驗證其身份. TPM 和Host 二者共同完成關于消息m的簽名, bsnL可以控制生成的簽名是否具有關聯(lián)性. 流程如下.

(3.3.1) Host 找到Join 協(xié)議的記錄(hsk,cred′). 隨機選擇一個r ←Zq, 對DAA 證書cred′=(a,c,gpk,n) 作盲化處理:a′←ar,←r,c′←cr, gpk′←gpkr.

(3.3.2) Host 和TPM 共同計算用于簽名關聯(lián)性檢測的nym 值和關于gsk 秘密值的零知識證明. 通過Prove 協(xié)議, 輸入?yún)?shù)(hsk,tpk′,(0||n),(1||n),m,(‘‘sign”,SRL)), 得到輸出(nym,π′cred).其中, 如果簽名不需要提供關聯(lián)性, 則第四個參數(shù)設置為⊥.

(3.3.3) Host 生成最終的簽名πcred←(a′,,c′,gpk′,nym,π′cred).

3.4 驗證(Verify) 協(xié)議

Verify 協(xié)議是環(huán)境中的協(xié)議實體對一個消息簽名對(m,πcred) 合法性的驗證算法, 用來認證平臺身份的合法性, 設備的每次消息傳遞都要經過嚴格的簽名驗證步驟. 流程如下.

(3.4.1) 驗證方查詢被攻破的平臺的秘密值列表Roughlist, 該列表由平臺創(chuàng)立并保存在本地. 如果Host 誠實, TPM 的真實性可由秘密值是否被暴露, 也就是查詢表Roughlist 可知. 當一個TPM 被攻破時, 其秘密值gsk 被加入到假冒列表Roughlist 中, 通過此列表, Verify 協(xié)議可以運行假冒檢測以拒絕被攻破的TPM 所簽署的簽名.?gsk∈Roughlist, 如果存在gpk′=gsk, 則檢測到假冒平臺攻擊, 放棄此次認證. 否則進入下一步驟.

(3.4.2) 驗證方驗證DAA 證書的合法性. 通過批量證明的技術, 隨機選擇兩個小指數(shù)e1,e2←Zq, 驗證等式e(e1·a′,g2)·e(?e1·′,Y)·e(e2·c′,g2)·e(?e2·(a′+gpk′),X)=1 是否成立. 如果不成立, 放棄此次認證. 否則進入下一步驟.

(3.4.3) 輸入?yún)?shù)(πcred,nym,(0||n),(1||n),m,(‘‘sign”,SRL)),驗證方通過3.2 中提到的VerSPK 協(xié)議認證簽名的合法性. 如果輸出為1, 則認證通過. 否則認證失敗.

3.5 擬態(tài)防御機制

因為DAA 協(xié)議的核心在于保護平臺的匿名性和防止包含的協(xié)議方被假冒平臺欺騙, 所以現(xiàn)有的DAA 方案總是默認Verifier 的身份是合法的, Verifier 無需自證身份. 被攻擊者控制的Verifier 可以不受限制的接收平臺的簽名信息, 然后返回驗證通過的結果而不會引起平臺的懷疑. 但是在M2M 通信系統(tǒng)中, 用戶數(shù)據(jù)是攻擊者最關注的信息, 如果平臺的簽名沒有經過驗證后發(fā)布, 極有可能會被攻擊者獲得并進行攻擊. 所以本文中在DAA 方案中添加擬態(tài)安全機制, 采取在一個域內設置多個異構執(zhí)行體[15]作為Verifier 的組成部分來對平臺進行驗證.

圖4 為擬態(tài)防御系統(tǒng)典型動態(tài)異構冗余架構[16], 當有消息輸入時, 通過輸入代理傳輸?shù)疆悩嫵刂忻總€異構執(zhí)行體, 所有異構執(zhí)行體處理消息后將結果傳輸至多模裁決模塊, 若結果一致則輸出, 若不一致, 可以識別某個執(zhí)行體輸出消息異常, 進而實現(xiàn)系統(tǒng)的安全防御. 流程如下.

圖4 擬態(tài)防御系統(tǒng)動態(tài)冗余架構圖Figure 4 Mimic defense system dynamic redundancy architecture diagram

(3.5.1) 輸入消息, 開始擬態(tài)防御機制, 對Host 產生的簽名進行驗證操作.

(3.5.2) 輸入代理, 傳入Verify 協(xié)議中所需要的參數(shù), 包括a′,′,c′, gpk′,e1,e2,g2, 公鑰對(X,Y),以及參數(shù)(πcred,nym,(0||n),(1||n),m,(‘‘sign”,SRL)), 并轉換成異構執(zhí)行體能夠識別的編碼, 如某一異構執(zhí)行體的編譯環(huán)境為C 語言, 則將這些參數(shù)轉換成該語言能夠識別的機器碼.因為后續(xù)對于異構執(zhí)行體的選擇是隨機的, 所以這些參數(shù)需要對所有的異構執(zhí)行體可識別.

(3.5.3) 對異構執(zhí)行體進行分組, 隨機數(shù)模塊生成隨機數(shù)u作為每組異構執(zhí)行體的個數(shù), 將所有異構執(zhí)行體隨機分配進個數(shù)為u的組內.

(3.5.4) 隨機數(shù)模塊產生若干個隨機數(shù)x1,x2,··· ,xm, 經過加密后分發(fā)給每個異構執(zhí)行體組, 每個異構執(zhí)行體組再對加密后的隨機數(shù)進行加密, 作為每個組的編號. 如產生的隨機數(shù)為x1, 首先隨機數(shù)模塊用自己的密鑰對x1進行加密得到E1(x1), 再由異構執(zhí)行體組用自己的密鑰對其進行加密得到E2(E1(x1)),上述過程在Verifier 內部完成,不涉及到其他通信對象, 如圖5 所示.

圖5 異構執(zhí)行體分組方法圖Figure 5 Heterogeneous actuator grouping method diagram

(3.5.5) 在每次驗證接入設備簽名的合法性時, 隨機選擇一個或多個異構執(zhí)行體組對簽名進行Verify 協(xié)議中的步驟, 判定設備的簽名是否合法. 由于每個異構執(zhí)行體組的編號都是加密后的E2(E1(xm)), 身份信息對于選擇方來說都是未知的, 所以在選擇異構執(zhí)行體組時只能隨機進行選擇.

(3.5.6) 被選中的若干異構執(zhí)行體執(zhí)行Verify 協(xié)議, 對輸入的參數(shù)進行判斷, 驗證簽名是否合法, 此處采用消息代理方法, 如果驗證通過則輸出1, 反之則為0.

(3.5.7) 將異構執(zhí)行體的輸出結果發(fā)送至裁決模塊, 若干異構執(zhí)行體輸出結果一致則裁決模塊輸出相應裁決結果, 反之, 則判定系統(tǒng)遭到攻擊. 裁決模塊工作時若異構執(zhí)行體的輸出結果不一致,也可以及時判斷出異構執(zhí)行體受到攻擊, 進而可以及時的修護系統(tǒng)進行工作.

4 方案分析

4.1 安全性分析

對M-DAA 的安全性分析主要通過隨機預言機模型來驗證. 同時, 由于證明安全性需要形式化的安全分析[17], 所以在隨機預言機模型下引入規(guī)約論斷的證明方法, 將攻破協(xié)議的難度總結到無法反向推導的數(shù)學問題上, 通過結合這兩個方法得到的復合模型才能給出足夠的安全性證明.

在結合了隨機預言機和規(guī)約論斷的復合模型中, 首先給出協(xié)議的形式化模型, 并假設一個攻擊者可以以一定的概率攻破該模型; 然后構建一個模擬器Simulator(下文中簡稱為S),S 可以模擬攻擊者的所有攻擊行為并生成一個理想系統(tǒng), 此理想系統(tǒng)對于攻擊者來說與現(xiàn)實系統(tǒng)具有高度的一致性; 最后假設攻擊者可以劫持協(xié)議中的實體, 并對協(xié)議過程進行破壞, 那么這個破壞過程的難度就歸結到解決復雜的不可逆數(shù)學難題上. 對于這些數(shù)學難題, 至今沒有快速的解決方案, 那么需要證明的協(xié)議在現(xiàn)有條件下就是安全的.下面將提出該復合模型的詳細流程.

在理想系統(tǒng)模型中, 除了M-DAA 中的協(xié)議實體與攻擊者A 之外還添加了一個可信的第三方T, T中存放著與系統(tǒng)中實體交互的理想函數(shù), 用于實現(xiàn)理想系統(tǒng)中M-DAA 協(xié)議的每一個步驟. 對于攻擊者A來說, T 是不可見的, 而理想系統(tǒng)與現(xiàn)實系統(tǒng)由模擬器S 互聯(lián), S 在現(xiàn)實系統(tǒng)中與攻擊者A 交互, 所以A無法區(qū)分所處的系統(tǒng). 同時S 在理想系統(tǒng)中能夠模擬A 的攻擊行為, 從而得知被攻破的實體, 使得現(xiàn)實系統(tǒng)和理想系統(tǒng)的運行過程不可區(qū)別.

理想系統(tǒng)中的可信第三方T 參與了M-DAA 協(xié)議的全部過程. 在Join 協(xié)議中T 先查詢Roughlist列表確認平臺是否被攻破, 并將結果告訴Issuer, 由Issuer 決定是否頒發(fā)證書, 若Issuer 許可, 則T 將平臺信息保存到Members 列表中, 并將結果告訴Host. 在Sign 協(xié)議中, Host 將收到的信息先發(fā)給T, 由查詢Members 列表中是否存在該平臺信息的記錄, 進而判斷該TPM 是否為非法偽造的. 若Members 列表中存在該平臺信息的記錄, T 才會向Host 處獲得基名bsn 信息, 然后將根據(jù)bsn 生成的簽名存儲到Signatures 列表中. 在Verify 協(xié)議中, Verifier 將收到的簽名先發(fā)送給T, 由T 查詢Signatures 列表中是否存在該簽名, 并查詢對應的gsk 是否存在于Roughlist 列表中.

接下來在理想系統(tǒng)中構建模擬器S 來模擬A 的攻擊行為. 在Join 協(xié)議中S 扮演Host 的角色得到DAA 證書并發(fā)送給A,在Sign 協(xié)議中S 模擬TPM 收到A 的假冒簽名申請并將簽名發(fā)送給A,在Verify協(xié)議中S 模擬Verifier 對A 的簽名進行驗證. 如果S 在與A 進行交互的同時模擬成功, 使得現(xiàn)實系統(tǒng)與理想系統(tǒng)變得不可區(qū)分, 所以只要證明S 模擬失敗的概率是極低的, 那么協(xié)議就是安全的. 對于S 模擬失敗的情況需要運行隨機預言機模型中的規(guī)約論斷進行分析.

對M-DAA 方案安全性分析主要從抗惡意TPM 欺騙攻擊、防止平臺簽名偽造、保護平臺匿名性和系統(tǒng)內生安全性四個方面開展.

4.1.1 抗惡意TPM 欺騙攻擊

M-DAA 方案在Join 協(xié)議和Verify 中均對TPM 的合法性進行了驗證, 目的是抗惡意TPM 的欺騙攻擊. 在不考慮散列函數(shù)被攻破的可能性時, 協(xié)議中所有的散列函數(shù)都可以作為隨機預言機. 在這一前提下, Join 協(xié)議中攻擊者A 如果不知道TPM 的秘密值gsk, 也沒有與模擬器S 進行交互, 是無法獨自完成平臺的零知識證明的. 同時, A 也無法在沒有Issuer 參與的情況下獨自生成DAA 證書, 即使解決了攻破LRSW 假設的數(shù)學難題產生了DAA 證書, 偽造的DAA 證書也無法在Verify 階段通過Members 列表查詢到, 從而導致模擬失敗, S 不能完全模擬攻擊者A. S 模擬失敗的情況可以歸結為LRSW 假設的解決,這種概率是可以忽略不計的, 所以證明了M-DAA 方案可以抗惡意TPM 欺騙攻擊.

4.1.2 防止平臺簽名偽造

如果攻擊者A 在沒有TPM 的秘密值gsk 的情況下偽造出合法的簽名, 說明A 能夠破解離散對數(shù)算法. 在隨機預言機模型中, Sign 協(xié)議中S 選擇不同的r ←Zq, 可以生成兩個不同的合法簽名, 其中只有部分信息不一樣, 攻擊者A 與S 交互后可以通過求解離散對數(shù)反推出gpk, 但是求解過程十分困難, 這種概率可以忽略不計, 所以模擬結果失敗的概率也很低. 另外, Sign 協(xié)議中, S 不僅確認DAA 證書的合法性,也會驗證A 偽造的簽名的合法性. S 也會將偽造的簽名中的部分有效信息與通過驗證的合法TPM 生成的簽名進行對比, 如果這一簽名不是由合法的TPM 參與生成的, 模擬也會失敗, 但是由擁有合法證書卻沒有合法TPM 參與是不可能的. 總之, 攻擊者A 不能憑空產生一個由(m,bsn) 生成的正確簽名, 所有非法TPM 生成的簽名都不能經過Verifier 的驗證, 所以簽名具有不可偽造性.

4.1.3 保護平臺匿名性

只有誠實TPM 和誠實Host 構成的誠實平臺才能保證匿名性. 一方面, Sign 過程中每次都會用新的隨機秘密值gsk 來產生新的基名bsn 對應的簽名, 所以每次產生的簽名與之前的平臺之間是相互獨立的,無法分辨由不同的基名bsn 產生的簽名從分布上的對應性, 從而能夠保證平臺的匿名性. 另一方面, 因為平臺對證書進行了盲化, 只有得到原始證書, Issuer 才能查詢平臺的身份, 所以即使攻擊者A 與S 交互并同時劫持了Issuer 和Verifier, 由用CL 簽名方法盲化后的證書反推導原始證書在數(shù)學上也是無法實現(xiàn)的,從而模擬失敗的概率幾乎可以忽略不計, 攻擊者A 無法得到平臺的真實身份.

4.1.4 系統(tǒng)內生安全性

本方案中采取的擬態(tài)防御機制將主動防御的思想轉變?yōu)橐环N體系化的防御機制, 在異構冗余執(zhí)行體池中進行動態(tài)調度, 利用不同的調度策略使得目標對象的組成部分和構成方式不斷發(fā)生變化, 加大了系統(tǒng)的時間復雜度和空間復雜度. 所以攻擊者每次面臨的都是全新的系統(tǒng)結構, 需要更大的資源來對整個系統(tǒng)進行攻擊. 在M-DAA 方案中由于隨機數(shù)發(fā)生器的存在, 每次調度的異構執(zhí)行體的數(shù)量和對象變得不可預測.從主動防御的角度來看, 由行為來推測系統(tǒng)內部構成的難度由一次調度的異構執(zhí)行體與上一次的差異性決定. 在M-DAA 中, 每次調度的異構執(zhí)行體組與上一次的異構執(zhí)行體組之間的關聯(lián)性也無法被得知, 所以雖然無法滿足每次調度對象之間的最大差異性, 但是每次調度的異構體組之間的關聯(lián)性無法被得知, 所以兩次調度之間的差異性也變得更加隨機, 反而增大了攻擊難度. 在隨機預言機模型下攻擊者A 劫持任意數(shù)量的異構執(zhí)行體都是會被系統(tǒng)發(fā)現(xiàn)的, 這是將攻擊的難度歸結為對隨機分布的對應性上, 從數(shù)學角度是無法進行預測的, 從而模擬失敗的概率幾乎不存在.

綜上所述, 在隨機預言機與規(guī)約論斷的復合模型下, 當攻擊者能夠對以上四個方面進行有效的攻擊時,模擬器都會輸出模擬失敗的結果, 但是每次失敗的前提都是攻擊者能夠破解數(shù)學邏輯上的難題. 經過長時間以來的驗證, 這些數(shù)學難題要么就是不可解決, 要么就是求解所需要的時間和物理成本極大, 所以模擬器模擬成功是必然的. 模擬器在理想環(huán)境中模擬成功會使攻擊者無法區(qū)分現(xiàn)實系統(tǒng)與理想系統(tǒng)的區(qū)別, 從而能證明M-DAA 在隨機預言機模型和規(guī)約論斷下是安全的.

4.2 有效性分析

4.2.1 對DAA 方案的優(yōu)化

在認證協(xié)議的執(zhí)行過程中, 主要的計算量都集中在指數(shù)運算和雙線性映射這兩個環(huán)節(jié), 所以在對效率進行分析時, 應當通過參與到協(xié)議中各個實體進行這兩種運算所需要的計算量來衡量. 通過與文獻中已提出的方案進行比較來分析M-DAA 方案的效率, 如表2、表3 所示, 表中均只包含進行M-DAA 中的各個協(xié)議所需要的計算量.

表3 Sign/Verify 階段各方計算量比較Table 3 Comparison of calculations between parties in Sign/Verify phase

其中P表示一個配對操作,G1表示在G1中的冪運算,G21、G22表示多冪運算, 以此類推. 根據(jù)上表可以看出, 除了Host 以外, 其他協(xié)議方的計算量在所有方案對比中都是最優(yōu)的. 在Verifier 中,nG1是依次代入Roughlist 中已公開的假冒平臺gsk 的計算量, 1P4是驗證證書合法性的計算量, 1G21則是利用零知識技術驗證平臺身份的計算量, M-DAA 的Verifier 計算量上的系數(shù)i是每次選擇的異構執(zhí)行體個數(shù).DAA 協(xié)議運行效率的核心在于TPM, 因為其有限的計算能力, 所以有關效率的優(yōu)化方案都以降低TPM計算量為主要任務. 本方案中實際上增加了Verifier 的計算量, 但是由于擬態(tài)機制的存在, 每次認證過程中Verifier 的計算量都不同, 行為變得難以預測.

4.2.2 擬態(tài)防御部分的優(yōu)化

擬態(tài)防御技術的思想是通過一種通用的廣義魯棒性控制結構以及其他配套機制為軟硬件提供一種集“高可靠、高可信、高可用” 于一體的魯棒性服務. 一方面, 在DAA 協(xié)議中引入擬態(tài)防御模塊, 是以犧牲部分計算效率為代價, 但是對于M2M 通信網(wǎng)絡來說, 只有TPM 模塊存在算力小的問題, 因此在一個域內設置多個異構執(zhí)行體來構成Verifier 對TPM 的計算量要求沒有變化, 現(xiàn)在的大型服務器中設置能夠滿足多個異構執(zhí)行體所需要的算力. 在一次完整的協(xié)議過程中, 只有Verifier 中的異構執(zhí)行體進行了反復計算和判斷, 對于整個M2M 網(wǎng)絡來說是在效率上的提升. 另一方面, 在引入擬態(tài)防御機制時, 對異構執(zhí)行體進行分組操作, 使得隨機數(shù)模塊不需要產生過多的隨機數(shù), 節(jié)省了資源占用, 提高了運算效率. 并且每次的分組后組內異構執(zhí)行體的個數(shù)和成員都不同, 防止了異構執(zhí)行體之前的行為被記錄, 提高了系統(tǒng)的安全性.

5 結束語

本文提出了一種基于擬態(tài)防御原理的M2M 網(wǎng)絡匿名認證方法, 應用于M2M 通信系統(tǒng)內設備與設備之間數(shù)據(jù)通信的場景中. 首先對現(xiàn)有的DAA 方案進行優(yōu)化, Verifier 驗證平臺盲化處理后DAA 證書的簽名和平臺的合法性. 同時因為Verifier 的身份總是默認合法, 為了防止M2M 設備接入時被劫持, 在Verifier 方加入擬態(tài)防御機制, 使用多個動態(tài)冗余的異構執(zhí)行體來構成驗證方, 可以有效地抵御非法第三方的攻擊. 裁決模塊工作時若異構執(zhí)行體的輸出結果不一致, 也可以及時判斷出異構執(zhí)行體是否受到攻擊,并及時采取有效的防御措施. 本文提出的方案中對擬態(tài)防御機制的算力要求較高, 所以后續(xù)的工作應繼續(xù)對擬態(tài)裁決的算法進行優(yōu)化, 節(jié)約資源, 擴大同時接入設備的能力.