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

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

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

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

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