無線網絡可信認證技術研究.pdf

1、無線網絡快速發(fā)展,新的技術類型與應用模式層出不窮,無線網絡安全問題成為業(yè)界與學術界關注的焦點。無線網絡傳輸媒介的開放性、無線終端的移動性和網絡拓撲結構的動態(tài)性,使得無線網絡更容易被攻擊。利用可信計算技術提高移動計算終端的安全性,增強已有無線網絡認證架構的安全性,成為解決無線網絡信息安全問題的有效措施和手段?？尚庞嬎慵夹g及可信認證方法為解決無線網絡終端認證提供的新思路,能夠提供高可信性、高安全性、高可靠性的認證服務,可使無線網絡獲得更為廣

2、泛和便捷的應用。本文對無線網絡的可信認證技術進行了較為深入的研究,具體研究內容為:
　　 1.已有的無線認證協(xié)議只認證用戶身份,不驗證平臺可信性,存在安全隱患。基于可信計算遠程證明與完整性驗證的思想,考慮到移動設備運算能力和通信帶寬有限等限制,提出一種可信的匿名無線認證協(xié)議,對移動用戶身份進行認證的同時驗證用戶終端平臺可信性,認證過程的每階段使用不同的臨時身份和一次性密鑰,保持用戶身份和平臺信息的匿名性。分析表明,協(xié)議安全可靠,

3、具有域分離特性和密鑰協(xié)商公正性,計算代價和消息交互輪數滿足無線移動網絡環(huán)境需求。
　　 2.可信計算環(huán)境下,無線網絡的接入認證不僅需要認證用戶身份,也需要驗證平臺可信性?；谥苯幽涿C明思想,提出一種無線移動網絡中移動用戶可信接入認證方案,認證移動用戶身份的同時利用直接匿名證明方法驗證平臺身份合法性和可信性。方案中,外地網絡代理服務器直接驗證移動用戶平臺可信性,并與本地網絡代理服務器一同驗證移動用戶身份。采用臨時身份和一次性密鑰

4、,保持用戶身份匿名性。分析表明,方案具有域分離特性和密鑰協(xié)商公正性,性能滿足無線移動網絡環(huán)境安全需求。
　　 3.可信計算組織TCG所提出的遠程證明的直接匿名證明(DAA)技術規(guī)范只提供單可信域的平臺認證,而移動網絡環(huán)境下,終端移動性導致原方案不能適用。基于信任委托的思想,提出一種移動環(huán)境下的跨可信域的直接匿名證明方案,采用代理簽名技術實現(xiàn)對移動終端在多可信域之間漫游時的可信計算平臺認證,并在認證過程中協(xié)商會話密鑰,增強了遠程證

5、明體系的安全性。利用CK模型對方案的認證協(xié)議的認證安全性和匿名安全性進行了形式化分析和證明。分析表明方案能夠抵抗平臺偽裝攻擊和重放攻擊,其性能適用于無線網絡環(huán)境。
　　 4.傳統(tǒng)的智能卡口令認證方案只提供服務器與用戶之間的身份認證,不驗證平臺可信性,不利于用戶個人信息的保護。提出一種基于智能卡的可信雙向認證方案,使用散列函數認證身份,采用遠程證明方法驗證平臺可信性,方案支持安全會話密鑰協(xié)商,支持用戶身份匿名及口令自由更換,服務器