基于能力系统的应用证明研究

作者：黄涛; 王飞; 李建

来源：微计算机信息, 2007, (09): 282-284.

DOI：10.3969/j.issn.1008-0570.2007.09.113

• 可信计算
• 远端证明
• 应用证明
• 能力系统

通过对可信计算及其主要功能“远端证明”的分析,提出“应用证明”的概念及原理,并说明支持应用证明所需的安全机制。分析现有主流操作系统所使用的保护结构和访问控制模型,说明应用证明在当前的主流操作系统上是无法实现的。通过对能力系统EROS进行改进,使其充分支持应用证明,并提高系统的安全性及可信性。

• 单位
  中国人民解放军信息工程大学