电信科学
電信科學
전신과학
TELECOMMUNICATIONS SCIENCE
2010年
6期
86-94
,共9页
可信计算%可信计算环境%信任模型
可信計算%可信計算環境%信任模型
가신계산%가신계산배경%신임모형
本文采用形式化的方法,借鉴和吸收生物学、经济学、社会科学等相关学科的理论,对可信计算进行深入分析.并进行严格的逻辑推理证明,提出了基于进化理论的层信任模型.该模型在逻辑结构上定义了可信计算环境基本的信任链和可信层,物理结构上通过广电网的基于法定权利义务关系的可信根广播和在可信终端建立基于可信存储的可信根来实现可信计算环境.该模型使得现有通用计算平台也适用于可信计算环境,提出了解决可信计算环境的外部性和公正性的方法,减少了可信终端主动防御带来的验证开销,用较小的代价实现了可信计算环境下可信计算实体的可信度收敛.
本文採用形式化的方法,藉鑒和吸收生物學、經濟學、社會科學等相關學科的理論,對可信計算進行深入分析.併進行嚴格的邏輯推理證明,提齣瞭基于進化理論的層信任模型.該模型在邏輯結構上定義瞭可信計算環境基本的信任鏈和可信層,物理結構上通過廣電網的基于法定權利義務關繫的可信根廣播和在可信終耑建立基于可信存儲的可信根來實現可信計算環境.該模型使得現有通用計算平檯也適用于可信計算環境,提齣瞭解決可信計算環境的外部性和公正性的方法,減少瞭可信終耑主動防禦帶來的驗證開銷,用較小的代價實現瞭可信計算環境下可信計算實體的可信度收斂.
본문채용형식화적방법,차감화흡수생물학、경제학、사회과학등상관학과적이론,대가신계산진행심입분석.병진행엄격적라집추리증명,제출료기우진화이론적층신임모형.해모형재라집결구상정의료가신계산배경기본적신임련화가신층,물리결구상통과엄전망적기우법정권리의무관계적가신근엄파화재가신종단건립기우가신존저적가신근래실현가신계산배경.해모형사득현유통용계산평태야괄용우가신계산배경,제출료해결가신계산배경적외부성화공정성적방법,감소료가신종단주동방어대래적험증개소,용교소적대개실현료가신계산배경하가신계산실체적가신도수렴.
