操作系统信任基建模的方法学研究
外文标题：On Methodology of Modeling the Trust Base in Operating Systems
文献类型：期刊
作者：石文昌[1]
机构：中国人民大学数据工程与知识工程教育部重点实验室,北京,100872;中国人民大学信息学院,北京,100872
年：2010
期刊名称：计算机科学
卷：37
期：7
页码范围：1-6,45
增刊：增刊
收录情况：中文核心期刊要目总览
所属部门：信息学院；数据工程与知识工程教育部重点实验室
语言：中文
ISSN：1002-137X
链接地址：http://d.g.wanfangdata.com.cn/Periodical_jsjkx201007001.aspx
DOI：10.3969/j.issn.1002-137X.2010.07.001
基金：国家863计划项目; 国家自然科学基金项目; 北京市自然科学基金项目; 上海市智能信息处理重点实验室开放项目
关键词：操作系统;信任基;建模;方法学;模型;硬件
摘要：倡导操作系统在确立应用系统的可信性中具有不可或缺的作用之理念,以Web应用为聚焦点,诠释操作系统信任基(TBOS)的思想.以如何确保TBOS的可信性为主线,讨论TBOS建模的研究方法.提出由信任监控核心引擎、内核信任监控器和核外信任监控器三大部分组成的TBOS体系结构,提出发挥硬件效能与缩小软件尺寸相结合的研究方针,阐述TBOS建模中的关键问题和关键技术,从模型构造方法、信任监控方法、域间协同方法、隔离保护方法、硬件特性抽象方法和软件尺寸缩减方法等方面建立TBOS建模的方法学基础.
作者其他论文
磁盘阵列环境下的取证目标系统重构.杨勇;石文昌;梁彬,等.计算机应用与软件.2014,64-67,74.
一种基于CIL静态分析的C#程序缺陷检测方法.边攀;梁彬;石文昌.计算机科学.2014,41(1),220-224.
一种在Android中植入动态污点分析模块的方法.梁彬;游伟;王鹏,等.2013.
基于特征扫描的Windows回收站删除记录取证方法..0.
基于分离逻辑的并行程序性质验证方法.万良;石文昌;冯慧.计算机科学.2013,40(10),148-154.
