基于簽密的安全高效遠程證明協(xié)議.pdf

1、隨著社會的信息化，信息科學(xué)技術(shù)的發(fā)展突飛猛進，信息和信息技術(shù)的發(fā)展改變了人們的生活方式，如今如果離開計算機和網(wǎng)絡(luò)或者其他的電子設(shè)備，我們將無法正常生活和工作，信息在我們的生活中扮演著重要的角色，然而，任何技術(shù)都是一把雙刃劍，信息技術(shù)也不例外。隨著信息技術(shù)使用范圍的擴展，與之相關(guān)的針對信息安全的危害事件也在不斷發(fā)生，如我們所熟知的來自黑客的攻擊、惡意軟件的侵擾以及利用計算機進行各類犯罪等這些都對信息安全構(gòu)成了嚴重的威脅。人們在使用信息技術(shù)

2、帶來的利益的同時，也在承受著其所帶來的信息安全等方面的危害。
　　可信計算概念的提出為信息安全領(lǐng)域一些問題的解決帶來了全新的思路，利用可信計算的思想，我們可以通過給計算機平臺添加硬件模塊（如可信平臺模塊）的方法，使其具有自我保護以及平臺檢測的功能，然后再通過軟件（可信軟件棧）和硬件（可信平臺模塊）結(jié)合的辦法構(gòu)建一個可信計算平臺，而諸如數(shù)據(jù)完整性、數(shù)據(jù)安全存儲、平臺遠程證明等特性都是可信計算平臺所具有的功能，可信平臺之間的安全通信問

3、題則依靠可信計算中的遠程證明來解決。
　　可信計算中的基于二進制的遠程證明將可信計算平臺的信息報告給驗證方供其驗證，這樣容易造成平臺信息的泄露，并且驗證量過大，而基于屬性的遠程證明只需將相關(guān)屬性證書報告給驗證方，這樣就克服了基于二進制遠程證明的一些缺點，但若將該屬性證書暴露在不安全的網(wǎng)絡(luò)環(huán)境中，其安全性則難以得到保證;并且若對于證書的簽名和加密分步進行，則效率較低。本文提出了一種安全高效的基于簽密的模塊級屬性遠程證明協(xié)議。該協(xié)議在

4、構(gòu)建模塊屬性簽名時采用了簽密方案，減少了屬性證書的生成時間;并且簽密使用了基于橢圓曲線上雙線性對的方法，其安全性高于基于大整數(shù)因數(shù)分解難題和一般離散對數(shù)問題的方案。最后通過實驗驗證了協(xié)議的可行性。實驗環(huán)境為Ubuntu11.10操作系統(tǒng)，其中可信平臺模塊由TPMEmulator實現(xiàn)，可信軟件棧由jTSS軟件棧實現(xiàn)，采用Java語言實現(xiàn)。在上述搭建的可信計算模擬平臺上，實現(xiàn)了基于簽密的模塊級屬性遠程證明協(xié)議的原型，并驗證了該遠程證明方案的