操作系统信任基建模的方法学研究

摘要：

倡导操作系统在确立应用系统的可信性中具有不可或缺的作用之理念,以Web应用为聚焦点,诠释操作系统信任基(TBOS)的思想.以如何确保TBOS的可信性为主线,讨论TBOS建模的研究方法.提出由信任监控核心引擎、内核信任监控器和核外信任监控器三大部分组成的TBOS体系结构,提出发挥硬件效能与缩小软件尺寸相结合的研究方针,阐述TBOS建模中的关键问题和关键技术,从模型构造方法、信任监控方法、域间协同方法、隔离保护方法、硬件特性抽象方法和软件尺寸缩减方法等方面建立TBOS建模的方法学基础.

关键词：操作系统、信任基、建模、方法学、模型、硬件

所属期刊栏目：37

分类号：TP309(计算技术、计算机技术)

资助基金：国家863计划课题2007AA01Z414;国家自然科学基金项目60873213,60703103;北京市自然科学基金项目4082018;上海市智能信息处理重点实验室开放课题IIPL-09-006

在线出版日期：2010-09-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1-6,45