可信平臺中基于屬性的遠程證明系統(tǒng).pdf

1、隨著互聯(lián)網(wǎng)的高速發(fā)展和計算機的高度普及，網(wǎng)絡環(huán)境下的資源共享與協(xié)作計算在生產(chǎn)生活中發(fā)揮著越來越重要的作用。在協(xié)作之前需要確信遠程平臺硬件和軟件配置的真實可信性，以確保遠程主機的行為在期望的范圍內(nèi)。然而，現(xiàn)在采用的基于密碼和PKI技術(shù)的訪問控制和身份驗證等安全機制沒有考慮上述目標；而TCG組織定義的簡單遠程證明機制雖然嘗試解決此類問題，但是以度量值為基礎(chǔ)，存在管理和版本強行控制的缺陷，不易實際應用。
　　 針對上述問題，可信平臺中

2、基于屬性的遠程證明系統(tǒng)PRAS(Property-based Remote Attestation System on Trusted Platform)將屬性與策略機制引入到遠程證明中。對于遠程主機，用戶不僅關(guān)心是否具有某種硬件或者軟件配置和度量值，更在乎能否提供某種與安全相關(guān)的屬性。為了證實屬性的合法性，PRAS系統(tǒng)還引入了屬性證書、屬性權(quán)威中心和平臺身份權(quán)威中心。屬性證書用于標識合法的屬性集合；平臺身份權(quán)威中心負責簽發(fā)平臺身份證書

3、；屬性權(quán)威中心負責簽發(fā)平臺或者應用程序的屬性證書。為了及時檢測平臺或者應用程序的改動(合法的或者非法的)，PRAS系統(tǒng)采用信號異步處理技術(shù)設計了屬性集的動態(tài)監(jiān)聽機制，以保證簽發(fā)的屬性證書反映平臺或者應用程序的最新狀態(tài)。簽發(fā)的屬性證書采用可信平臺的Seal/UnSeal加密機制與平臺狀態(tài)綁定在一起，以保證其安全性。用戶在證明平臺或者應用程序的可信性之前，以可信判定策略的形式定義對目標的安全需求，然后依據(jù)自定義的策略評定屬性證書的可信性，從

4、而確認被證明目標的可信性。此外，PRAS系統(tǒng)以可信平臺模塊TPM芯片為基礎(chǔ)設計數(shù)據(jù)傳輸協(xié)議，增強了數(shù)據(jù)在網(wǎng)絡環(huán)境下傳輸?shù)陌踩浴?br>　　 基于Linux操作系統(tǒng)的可信平臺，采取C、Java、JSP等編程語言實現(xiàn)了PRAS系統(tǒng)，并且對系統(tǒng)進行了測試。測試結(jié)果表明，PRAS系統(tǒng)能夠檢測網(wǎng)格服務非法篡改、合法升級/回滾以及可信評定策略在證明中發(fā)揮作用。PRAS系統(tǒng)在檢測網(wǎng)格服務被篡改、升級/回滾的準確率為0.97～0.99，客戶端的平均