遠程匿名證明協(xié)議的研究與實現(xiàn).pdf

1、伴隨數(shù)字時代的到來，電子商務(wù)、電子政務(wù)、網(wǎng)絡(luò)購物、網(wǎng)絡(luò)社交等越來越多的應(yīng)用在網(wǎng)絡(luò)上廣泛展開，計算機與網(wǎng)絡(luò)已滲透到社會的各個領(lǐng)域，越來越深入我們的生活，并成為普通民眾日常生活中的重要組成部分。大數(shù)據(jù)時代的到來似乎將為人類帶來更多的便捷，但是大數(shù)據(jù)對網(wǎng)絡(luò)隱私的負面影響逐漸引起了更多的人們思考。
　　可信計算(Trusted Computing，TC)技術(shù)是由可信計算組織(Trusted ComputingGroup，TCG)提出，以確

2、保計算機的行為像人們期望的那樣的安全可靠。遠程證明是TCG標準中的一個主要功能，它提供了兩個交互雙方之間的完整性配置的證據(jù)。在TCG標準v1.2中提出了一種匿名認證協(xié)議來保護用戶隱私，被稱為直接匿名認證(Direct Anonymous Attestation，DAA)。該直接匿名證明方案一方面容易受到偽裝攻擊，另一方面不易于在現(xiàn)有的網(wǎng)絡(luò)協(xié)議架構(gòu)中實際部署實施。本文全面分析了可信計算在隱私保護上設(shè)計的直接匿名證明方案的安全性，重點解決直

3、接匿名證明存在的問題，提出了一種在運行性能方面與安全性方面上有一定優(yōu)勢的解決方案——基于直接匿名證明協(xié)議和安全傳輸層協(xié)議(Transport Layer Security,TLS)的遠程匿名證明協(xié)議。在可信平臺模塊(Trusted Platform Module，TPM)的基礎(chǔ)上，將身份匿名證明，平臺完整性驗證和密鑰交換協(xié)議相結(jié)合，在交互雙端之間構(gòu)建出一條能夠匿名認證身份與驗證平臺完整性的可信信道。改進方案滿足以下七個安全需求:匿名性、

4、不可偽造性、不可克隆性和用戶可控連接性、前向安全性、抵抗重放攻擊性和抵抗偽裝攻擊性。設(shè)計的協(xié)議兼容擴展的TLS協(xié)議架構(gòu)，便于部署。另外協(xié)議支持橢圓曲線ECC算法，運輸速度快，存儲空間小，具有更高的使用性能。
　　在協(xié)議安全性分析方面，本文在Dolev-Yao模型下進行理論分析，使用高級協(xié)議規(guī)范語言（High-Level Protocol Specification Language，HLPSL）對設(shè)計的協(xié)議進行建模，在SPAN模型