安全操作系统可信进程机制的研究与实现
文献类型:会议
作者:张翀斌[1]
机构:[1]中国信息安全测评中心,北京,100085
[2]中国信息安全测评中心,北京,100085
[3]中国人民大学,信息学院,北京,10087数据工程与知识工程教育部重点实验室,北京100872
年:2010
会议名称:第三届信息安全漏洞分析与风险评估大会
会议论文集:第三届信息安全漏洞分析与风险评估大会论文集
页码范围:133-145
会议地点:合肥
会议开始日期:2010-10-01
所属部门:数据工程与知识工程教育部重点实验室
人气指数:1
浏览次数:1
语言:中文
关键词:可信进程机制;安全操作系统;可信性
摘要:可信进程机制是操作系统安全机制的重要组成部分,但安全界对可信进程的定义仍不统一,对其基本性质的认识也存在着许多局限性.本文从特权、操作数据完整性、功能逻辑正确性、自身完整性、可用性和可信交互等六个方面全面深入地讨论了可信进程可信性.由此出发给出了一个可信进程定义,较全面地概括了可信进程的基本性质,为深入研究和实施可信进程机制提供了理论基础.以此定义为指导,实现了一个基于Linux安全操作系统可信进程机制原型,从多个方面保障了可信进程的可信性,改进和扩展了Linux原有相关机制,提供了一个较为完善的可信进程机制解决方案.
作者其他论文
磁盘阵列环境下的取证目标系统重构.杨勇;石文昌;梁彬,等.计算机应用与软件.2014,64-67,74.
一种基于CIL静态分析的C#程序缺陷检测方法.边攀;梁彬;石文昌.计算机科学.2014,41(1),220-224.
一种在Android中植入动态污点分析模块的方法.梁彬;游伟;王鹏,等.2013.
基于特征扫描的Windows回收站删除记录取证方法..0.
增强可生存性的访问控制模型.单智勇;石文昌;梁彬,等.计算机工程与应用.2008,44(35),1-4,8.