10.3969/j.issn.1008-0570.2007.09.113
基于能力系统的应用证明研究
通过对可信计算及其主要功能"远端证明"的分析,提出"应用证明"的概念及原理,并说明支持应用证明所需的安全机制.分析现有主流操作系统所使用的保护结构和访问控制模型,说明应用证明在当前的主流操作系统上是无法实现的.通过对能力系统EROS进行改进,使其充分支持应用证明,并提高系统的安全性及可信性.
可信计算、远端证明、应用证明、能力系统
23
TP3(计算技术、计算机技术)
国家高技术研究发展计划863计划2002AA1Z2101
2007-04-24(万方平台首次上网日期,不代表论文的发表时间)
共3页
282-284