登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
一种基于无干扰模型的信任链传递分析方法
  • 摘要

    基于可信计算组织(TCG)的完整性度量只能保证组件没有被篡改,但不一定能保证系统运行可信性.其问题在于,当组件运行时,受其它组件的干扰,出现非预期的信息流,破坏了信任链传递的有效性.文章在分析可信计算平台的信任模型基础上,基于无干扰理论模型,提出了一种分析和判定可信计算平台信任链传递的方法,用形式化的方法证明了当符合非传递无干扰安全策略时,组件之间的信息流受到安全策略的限制,隔离了组件之间的干扰,这样用完整性度量方法所建立的信任链才足有效的.

  • 作者

    张兴  黄强  沈昌祥  ZHANG Xing  HUANG Qiang  SHEN Chang-Xiang 

  • 作者单位

    信息工程大学电子技术学院,郑州,450004;北京工业大学计算机学院,北京,100022/海军计算技术研究所北京,100036/信息工程大学电子技术学院,郑州,450004;海军计算技术研究所北京,100036

  • 刊期

    2010年1期 ISTIC EI PKU

  • 关键词

    可信计算  信任链  无干扰模型  安全策略  trusted computing  trust chain  noninterference  security policy 

参考文献
  • [1] 沈昌祥,张焕国,冯登国,曹珍富,黄继武. 信息安全综述. 中国科学E辑, 2007,2
  • [2] 张兴,陈幼雷,沈昌祥. 基于进程的无干扰可信模型. 通信学报, 2009,3
  • [3] Trusted Computing Group. TPM specification version 1.2.Part 2 TPM Structures. http://www.trustedcomputinggroup.org/specs/TPM/Main_Part2_ rev94.zip, 2007-08-08
  • [4] Trusted Computing Group. TPM specification version 1.2.Part 3 TPM Commands. http://www.trustedcomputinggroup.org/specs/TPM/Main_Part3_ rev94.zip, 2007-08-08
  • [5] Trusted Computing Group. TCG PC client specific,implementation specification for conventional BIOS. http://www.trustedcomputinggroup.org/ specs/PCClient, 2007-08-08
  • [6] IBM Coprocessor First to Earn Highest Security Validation. http://www-03.ibm.com/press/us/en/pressrelease/2347.wss, 2009-04-14
  • [7] Sadeghi Ahmad-Reza;Selhorst Marcel;Stiible Christian;Winandy Marcel. TCG Inside? A note on TPM specification compliance. Belgium, 2006
  • [8] Jaeger Trent;Sailer Reiner;Shankar Umesh. PRIMA:Policy-Reddced Integrity Measurement Architecture. Lake Tahoe,California, 2006
  • [9] Rushby John. Noninterference,transitivity and channel-control security policies CSL Technical Report CS-92-02. Stanford Research Institute,Menlo Park, 1992
  • [10] 黄强. 基于可信计算的终端安全体系结构研究. 海军工程大学,武汉, 2007
  • [11] Garfinkel Tal;Pfaff Ben. Terra:A virtual machine-based platform for trusted computing. 2003
  • [12] Trusted Computing Group. TCG Specification Architecture Overview. http://www.trusted-computinggroup.org/groups/TCG_1_2_Architecture_Overview,pdf, 2007-08-08
  • [13] Trusted Computing Group. TPM specification version 1.2.Part 1 Design Principles. http://www.trustedcomputinggroup.org/specs/TPM/Main_Partl_ rev94.zip, 2007-08-08
查看更多︾
相似文献 查看更多>>
34.226.244.70