基于模塊屬性的遠程證明協(xié)議.pdf

1、當今,全世界范圍內(nèi)互聯(lián)網(wǎng)業(yè)務的飛速發(fā)展,為人們帶來了巨大的便利和無限的商機。云計算、移動互聯(lián)網(wǎng)平臺、無線通信系統(tǒng)的廣泛應用正一點一點改變著我們的生活。而網(wǎng)絡安全問題也成為了阻礙互聯(lián)網(wǎng)業(yè)務進一步發(fā)展的最大因素?？尚庞嬎阏窃谶@樣的背景下發(fā)展起來的,可信計算能使計算機的安全等級從軟件級別提高到硬件級別,極大地提高了計算機平臺隱私性和抗攻擊性。
　　 可信計算中的遠程證明解決的是計算機之間連接時的相互認證問題,即“信任”問題。當前的遠

2、程證明方案主要有二進制遠程證明方案和基于屬性的遠程證明方案。第一種方案是利用可信平臺中的平臺配置信息PCR來驗證計算機的可信度。此方案雖然驗證過程簡單,但證明過程中會泄露主機的軟硬件信息。第二種方案利用了從配置到屬性的轉換,通過驗證用戶平臺的屬性證書來判斷用戶平臺是否可信。此方案的缺點是實時性差、屬性證書可信度低。
　　 基于模塊屬性的遠程證明方案的提出,使證明范圍從平臺級縮小到了模塊級,極大地提高了遠程證明的效率。但現(xiàn)存的模塊

3、屬性證明方案在安全性和效率方面都存在著諸多的不足。本文從證書發(fā)布的安全性和認證效率兩方面出發(fā),提出了一種基于模塊屬性的遠程證明協(xié)議。本文主要作了以下三方面的工作:
　　 1.分別對現(xiàn)有的二進制遠程證明方案和基于屬性的遠程證明方案進行了歸納和分析,指出了現(xiàn)有方案的優(yōu)點和不足。并介紹了基于模塊屬性的遠程證明方案。
　　 2.在原有模塊屬性證明方案的基礎上,提出了一種基于模塊屬性的遠程證明協(xié)議,在構建模塊屬性簽名時采用盲簽名,