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

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