中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	一种操作系统内核完整性度量方法期刊论文 OAI收割小型微型计算机系统, 2013, 卷号: 34, 期号: 5, 页码: 997-1002 李瑜; 赵勇; 林莉; 姜伟; 詹静; 辛思远 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2013/09/17 可信计算可信度量操作系统内核完整性保护
	基于信息流的可信操作系统度量架构期刊论文 OAI收割中国科学院研究生院学报, 2009, 卷号: 26, 期号: 4, 页码: 522-529 胡浩; 张敏; 冯登国 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/05/27 操作系统完整性信息流可信计算完整性度量
	高等级安全操作系统完整性策略模型设计开发及其形式化研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 唐柳英收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 安全操作系统完整性完整性策略模型安全体系结构形式化
	安全操作系统中基于安全性损害分析的可信恢复期刊论文 OAI收割计算机科学, 2007, 卷号: 34, 期号: 2, 页码: 264 李松林; 袁春阳; 朱继峰; 淮晓永; 梁洪亮; 贺也平 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2010/08/23 安全性损害可信恢复机密性完整性安全操作系统 Security compromise Trusted recovery Confidentiality Integrity Secure operating system
	Biba模型中严格完整性政策的动态实施期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 5, 页码: 746-754 张相锋; 孙玉芳 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/28 信息安全信息完整性严格完整性政策 Biba模型模型严格完整性政策安全操作系统数据的完整性兼容性主体和客体整体效率应用程序实施方案证明实验进程活动标记
	一个安全标记公共框架的设计与实现期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3, 页码: 547-552 梁洪亮; 孙玉芳; 赵庆松; 张相锋; 孙波 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/29 标记多级安全系统信息流控制保密性完整性安全操作系统安全标记公共框架安全政策多级安全系统体标记强制访问控制安全操作系统标记功能完整性灵活性框架基保密性安全性历史集合基础函数概念Computer operating systems Functions Labels Security systems
	安全操作系统的恶意代码防御技术的研究与实施学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 赵庆松收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 恶意代码防御技术安全操作系统权限控制完整性控制转授权模型网络安全