發(fā)布時間：2021-06-09 23:14

　　目前,隨著云計算、移動互聯(lián)網(wǎng)平臺、無線通信技術(shù)等互聯(lián)網(wǎng)業(yè)務(wù)在全世界范圍內(nèi)飛速的發(fā)展和廣泛的應(yīng)用,這些應(yīng)用為人們提供了巨大的便利和無窮的商機,一點點改變我們的生活,但是同時,也帶來了種種網(wǎng)絡(luò)安全問題,阻礙著互聯(lián)網(wǎng)技術(shù)的進(jìn)一步發(fā)展。在這樣的背景下,可信計算作為一種能夠?qū)⒂嬎銠C安全等級由之前的軟件級提高到硬件級應(yīng)運而生了,該項技術(shù)能夠在很大程度上提升互聯(lián)網(wǎng)計算機隱私和防外界攻擊性能的技術(shù)。遠(yuǎn)程證明作為可信計算中一個分支,重點解決了“信任”問題,即計算機之間在通信時候的相互認(rèn)證問題。截止到目前為止,遠(yuǎn)程證明方案已經(jīng)有很多種,主要有二進(jìn)制遠(yuǎn)程證明方案、基于屬性的遠(yuǎn)程證明方案和基于模塊屬性的遠(yuǎn)程證明方案。二進(jìn)制遠(yuǎn)程證明方案來驗證計算機可信度的原理是依托于可信平臺中的平臺配置信息PCR的。該方案驗證起來雖然非常簡單,然而卻能夠?qū)е掠嬎銠C在證明過程中軟硬件信息被泄露。第二種方案通過利用將配置轉(zhuǎn)換為屬性來驗證用戶平臺的屬性證書是否正確,從而判斷出用戶平臺是否可信。實時性差、屬性證書可信度非常低是該方案的缺點�；谀K屬性的遠(yuǎn)程證明方案雖然能夠?qū)⒆C明的范圍從平臺范圍縮小到模塊范圍,但是現(xiàn)有的基于模塊屬性的... 

【文章來源】：太原理工大學(xué)山西省 211工程院校

【文章頁數(shù)】：59 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 引言
    1.2 課題的背景研究
    1.3 課題的研究內(nèi)容
    1.4 論文的主要工作與結(jié)構(gòu)安排
        1.4.1 論文的主要工作
        1.4.2 論文的結(jié)構(gòu)安排
第二章 可信計算
    2.1 可信計算的概念及產(chǎn)生背景
    2.2 可信計算的發(fā)展歷史及沿革
    2.3 可信計算平臺
        2.3.1 可信計算平臺的特性
        2.3.2 可信計算平臺的組成結(jié)構(gòu)
    2.4 TPM的本質(zhì)功能
        2.4.1 信任鏈的產(chǎn)生與完整性度量
        2.4.2 平臺防護(hù)與數(shù)據(jù)安全
    2.5 本章小結(jié)
第三章 遠(yuǎn)程證明協(xié)議的分析
    3.1 二進(jìn)制的遠(yuǎn)程證明協(xié)議
        3.1.1 二進(jìn)制遠(yuǎn)程證明的發(fā)展歷程
        3.1.2 二進(jìn)制遠(yuǎn)程證明方案的工作機理
        3.1.3 二進(jìn)制遠(yuǎn)程證明方案的缺陷
    3.2 基于屬性的遠(yuǎn)程證明方案
        3.2.1 基于代理的遠(yuǎn)程證明方案
        3.2.2 基于屬性的遠(yuǎn)程證明方案
    3.3 基于模塊屬性的遠(yuǎn)程證明方案
        3.3.1 模塊屬性遠(yuǎn)程證明的定義
        3.3.2 模塊屬性遠(yuǎn)程證明體系
        3.3.3 遠(yuǎn)程證明所需的安全等級
        3.3.4 先簽名后加密的基于模塊屬性的遠(yuǎn)程證明方案介紹
        3.3.5 基于模塊屬性遠(yuǎn)程證明方案的不足
    3.4 本章小結(jié)
第四章 改進(jìn)的基于模塊屬性的遠(yuǎn)程證明協(xié)議
    4.1 基于簽密算法的模塊屬性遠(yuǎn)程證明協(xié)議的提出
    4.2 改進(jìn)協(xié)議的說明
        4.2.1 申請階段
        4.2.2 認(rèn)證階段
        4.2.3 驗證階段
    4.3 協(xié)議安全性論證
    4.4 本章小結(jié)
第五章 遠(yuǎn)程證明協(xié)議的實驗驗證
    5.1 實驗環(huán)境搭建
        5.1.1 實驗環(huán)境綜述
        5.1.2 TPM模擬器的安裝與調(diào)試
        5.1.3 Java可信軟件棧的安裝與調(diào)試
    5.2 協(xié)議原型模型的實現(xiàn)
        5.2.1 實驗各組件簡介
    5.3 仿真實驗
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 本文主要工作總結(jié)
    6.2 未來工作展望
參考文獻(xiàn)
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄


【參考文獻(xiàn)】：
期刊論文
[1]基于模塊屬性的遠(yuǎn)程證明協(xié)議[J]. 彭新光,王曉陽.  計算機工程與設(shè)計. 2013(02)
[2]基于屬性的遠(yuǎn)程證明模型[J]. 于愛民,馮登國,汪丹.  通信學(xué)報. 2010(08)
[3]基于屬性的遠(yuǎn)程證明的隱私性分析[J]. 李尚杰,賀也平,劉冬梅,袁春陽.  通信學(xué)報. 2009(S2)
[4]基于組件屬性的遠(yuǎn)程證明[J]. 秦宇,馮登國.  軟件學(xué)報. 2009(06)
[5]基于批處理的遠(yuǎn)程證明機制[J]. 常朝穩(wěn),徐國愚,劉晨,王玉橋,覃征.  武漢大學(xué)學(xué)報(理學(xué)版). 2009(01)
[6]TPM匿名認(rèn)證機制的研究與應(yīng)用[J]. 劉景森,戴冠中.  計算機應(yīng)用研究. 2007(09)
[7]信息安全綜述[J]. 沈昌祥,張煥國,馮登國,曹珍富,黃繼武.  中國科學(xué)（E輯:信息科學(xué)）. 2007(02)
[8]可信計算平臺認(rèn)證機制研究[J]. 劉宏偉,朱廣志.  計算機工程. 2006(24)
[9]可信計算研究進(jìn)展[J]. 張煥國,羅捷,金剛,朱智強,余發(fā)江,嚴(yán)飛.  武漢大學(xué)學(xué)報(理學(xué)版). 2006(05)
[10]一種前向安全的動態(tài)子群簽名方案[J]. 施榮華,周玉.  計算機工程與應(yīng)用. 2006(30)

博士論文
[1]可信認(rèn)證關(guān)鍵技術(shù)研究[D]. 趙佳.北京交通大學(xué) 2008



本文編號：3221515