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

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

帮助

条数/页：排序方式：
	基于虚拟机架构的系统完整性保护技术研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2013 丁保增 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2014/01/10 虚拟化完整性系统安全安全策略非控制数据虚拟机监控器
	云存储中的数据完整性验证方法研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 殷佳欣 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2011/06/24 云存储完整性验证布隆过滤器多指标决策均衡决策策略
	基于可信计算的策略标签保护架构期刊论文 OAI收割计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2219-2226 刘孜文; 冯登国; 于爱民 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/10/08 策略标签保护可信计算访问控制加密文件系统完整性度量
	主体完整性标记动态确定方案及其正确性证明期刊论文 OAI收割小型微型计算机系统, 2011, 期号: 4, 页码: 656-661 张明西; 韦俊银; 张相峰; 王以刚; 刘晖 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/10/10 Bib模型严格完整性策略完整性兼容性
	基于Biba和Clark-Wilson策略的混合强制完整性模型期刊论文 OAI收割软件学报, 2010, 卷号: 21, 期号: 1, 页码: 98-106 周洲仪; 贺也平; 梁洪亮 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2010/08/23 完整性策略强制访问控制 Biba模型 Clark-Wilson模型 integrity policy mandatory access control Biba model Clark-Wilson model
	高等级安全操作系统完整性策略模型设计开发及其形式化研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 唐柳英收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 安全操作系统完整性完整性策略模型安全体系结构形式化
	基于框架的形式化商务安全策略模型期刊论文 OAI收割电子学报, 2005, 卷号: 33, 期号: 2 温红子; 周永彬; 卿斯汉 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/08/25 信息系统安全形式化商务安全策略完整性
	基于DTE技术的完整性保护形式模型期刊论文 OAI收割中国科学E辑, 2005, 卷号: 35, 期号: 6, 页码: 570-587 季庆光; 卿斯汉; 贺也平 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/23 完整性策略形式模型信息流域类型
	高安全级操作系统形式设计的研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 季庆光收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 形式模型机密性策略完整性策略极小特权原理无干扰理论信息流权能模型层次结构