计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2015年
6期
1801-1805
,共5页
可信计算%安全逻辑系统%信任链%可信度量根%实体依赖%轻量虚拟机监控器
可信計算%安全邏輯繫統%信任鏈%可信度量根%實體依賴%輕量虛擬機鑑控器
가신계산%안전라집계통%신임련%가신도량근%실체의뢰%경량허의궤감공기
trusted computing%logic of secure system%chain of trust%root of trust measurement%entity dependence%LVMM
信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任.为了解决上述问题,进而构建一个具有一般意义的信任链模型.首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,采用了数学逻辑的证明方法证明了该信任链模型满足的性质.该模型不仅可以评估现有的可信计算平台(包括基于静态可信度量根(SRTM)的可信计算平台和DRTM的可信计算平台),还可以为进一步研究信任链构建和可信计算环境构建等提供理论上的参考.
信任鏈的建立和傳遞是構建可信計算環境的覈心,然而,噹前的信任鏈模型僅僅是針對具體的可信計算環境進行的形式化建模,其不具有一般意義,不能夠為構建可信計算環境(特彆是基于動態可信度量根(DRTM)的可信環境)提供理論方麵的指導,也難以勝任評估現有的可信計算環境的重任.為瞭解決上述問題,進而構建一箇具有一般意義的信任鏈模型.首先將信任鏈模型轉換為數學模型,然後,在分析實體依賴關繫和安全邏輯繫統的基礎上,採用瞭數學邏輯的證明方法證明瞭該信任鏈模型滿足的性質.該模型不僅可以評估現有的可信計算平檯(包括基于靜態可信度量根(SRTM)的可信計算平檯和DRTM的可信計算平檯),還可以為進一步研究信任鏈構建和可信計算環境構建等提供理論上的參攷.
신임련적건립화전체시구건가신계산배경적핵심,연이,당전적신임련모형부부시침대구체적가신계산배경진행적형식화건모,기불구유일반의의,불능구위구건가신계산배경(특별시기우동태가신도량근(DRTM)적가신배경)제공이론방면적지도,야난이성임평고현유적가신계산배경적중임.위료해결상술문제,진이구건일개구유일반의의적신임련모형.수선장신임련모형전환위수학모형,연후,재분석실체의뢰관계화안전라집계통적기출상,채용료수학라집적증명방법증명료해신임련모형만족적성질.해모형불부가이평고현유적가신계산평태(포괄기우정태가신도량근(SRTM)적가신계산평태화DRTM적가신계산평태),환가이위진일보연구신임련구건화가신계산배경구건등제공이론상적삼고.
