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

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

帮助

条数/页：排序方式：
	一个支持可信主体特权最小化的多级安全模型期刊论文 OAI收割软件学报, 2007, 卷号: 18, 期号: 3, 页码: 730-738 武延军; 梁洪亮; 赵琛 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2010/08/25 多级安全可信主体最小特权操作系统安全
	多级安全OS与DBMS模型的信息流及其一致性分析期刊论文 OAI收割计算机学报, 2005, 卷号: 28, 期号: 7, 页码: 1123-1129 李斓; 冯登国; 徐震 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2010/05/27 信息流多级安全数据库多级安全操作系统一致性多级关系模型
	一个安全标记公共框架的设计与实现期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 3, 页码: 547-552 梁洪亮; 孙玉芳; 赵庆松; 张相锋; 孙波 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/07/29 标记多级安全系统信息流控制保密性完整性安全操作系统安全标记公共框架安全政策多级安全系统体标记强制访问控制安全操作系统标记功能完整性灵活性框架基保密性安全性历史集合基础函数概念Computer operating systems Functions Labels Security systems
	一种用于操作系统安全内核的多级分层文件系统的研究与实现期刊论文 OAI收割电子学报, 2002, 卷号: 30, 期号: 5, 页码: 763-765 刘文清; 卿斯汉; 刘海峰 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2011/07/29 多级分层文件系统强制存取控制安全内核安全操作系统安全操作系统安全内核多级分层文件系统 Security Kernel 关键技术工程实现分层系统安全策略兼容性安全性效率开发File organization Hard disk storage Security of data
	经典BLP安全公理的一种适应性标记实施方法及其正确性期刊论文 OAI收割计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现经典安全操作系统适应性记实实施方法基础访问控制规则正确性证明多级安全性判定增加敏感标记基本安全安全系统灵活性计算机模型理论开发构造构成
	主体当前敏感标记动态确定方案研究期刊论文 OAI收割电子学报, 2001, 卷号: 29, 期号: 8, 页码: 1046-1049 石文昌; 梁洪亮; 孙玉芳 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/29 计算机安全安全操作系统安全模型敏感标记主体敏感标记方案研究限定条件模型基础构造安全操作系统多级安全性证明描述客体构成Computer operating systems Labels Mathematical models Sensitivity analysis