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

• 作者: 李建 王飞 黄涛
• 来源期刊: 科技与创新
• 关键词: 可信计算 远端证明 应用证明 能力系统
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 软件时空
• 页码范围: 282-284
• 页数: 3页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.09.113

摘要

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