计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
3期
54-61
,共8页
可信计算%远程证明%信任关系%可信模型
可信計算%遠程證明%信任關繫%可信模型
가신계산%원정증명%신임관계%가신모형
在分布式环境中如何在实体之间建立信任关系一直是信息安全领域研究的热点问题,远程证明为解决该问题提供了一种新的研究方向.远程证明是可信计算中非常重要的特性,利用可信远程证明方法能够在实体之间建立起信任关系.但是,二进制等静态远程证明方法对于计算平台的可信性证明存在明显不足,在建立信任关系时不能够提供充分的证据.主要研究基于行为证明方法在实体之间如何建立可信关系的问题.因此,利用基于行为的远程证明方法对计算机平台可信性进行证明,该方法能够为建立信任关系提供更加准确的经验结果.在证明过程中存在一些不确定因素,这些不确定因素将影响信任关系的建立以及评估.利用主观逻辑对信任关系进行了度量,建立了TMBA动态可信模型,该模型能够在基于行为证明所获得的经验的基础上,通过考虑过去经验以及现有经验分析信任关系的动态性,并且将信任关系中的信任度用主观逻辑的观点来表示.最后给出根据TMBA对信任观点进行计算的方法.
在分佈式環境中如何在實體之間建立信任關繫一直是信息安全領域研究的熱點問題,遠程證明為解決該問題提供瞭一種新的研究方嚮.遠程證明是可信計算中非常重要的特性,利用可信遠程證明方法能夠在實體之間建立起信任關繫.但是,二進製等靜態遠程證明方法對于計算平檯的可信性證明存在明顯不足,在建立信任關繫時不能夠提供充分的證據.主要研究基于行為證明方法在實體之間如何建立可信關繫的問題.因此,利用基于行為的遠程證明方法對計算機平檯可信性進行證明,該方法能夠為建立信任關繫提供更加準確的經驗結果.在證明過程中存在一些不確定因素,這些不確定因素將影響信任關繫的建立以及評估.利用主觀邏輯對信任關繫進行瞭度量,建立瞭TMBA動態可信模型,該模型能夠在基于行為證明所穫得的經驗的基礎上,通過攷慮過去經驗以及現有經驗分析信任關繫的動態性,併且將信任關繫中的信任度用主觀邏輯的觀點來錶示.最後給齣根據TMBA對信任觀點進行計算的方法.
재분포식배경중여하재실체지간건립신임관계일직시신식안전영역연구적열점문제,원정증명위해결해문제제공료일충신적연구방향.원정증명시가신계산중비상중요적특성,이용가신원정증명방법능구재실체지간건립기신임관계.단시,이진제등정태원정증명방법대우계산평태적가신성증명존재명현불족,재건립신임관계시불능구제공충분적증거.주요연구기우행위증명방법재실체지간여하건립가신관계적문제.인차,이용기우행위적원정증명방법대계산궤평태가신성진행증명,해방법능구위건립신임관계제공경가준학적경험결과.재증명과정중존재일사불학정인소,저사불학정인소장영향신임관계적건립이급평고.이용주관라집대신임관계진행료도량,건립료TMBA동태가신모형,해모형능구재기우행위증명소획득적경험적기출상,통과고필과거경험이급현유경험분석신임관계적동태성,병차장신임관계중적신임도용주관라집적관점래표시.최후급출근거TMBA대신임관점진행계산적방법.