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

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

帮助

条数/页：排序方式：
	主体完整性标记动态确定方案及其正确性证明期刊论文 OAI收割小型微型计算机系统, 2011, 期号: 4, 页码: 656-661 张明西; 韦俊银; 张相峰; 王以刚; 刘晖 \| 收藏 \|
	基于Biba和Clark-Wilson策略的混合强制完整性模型期刊论文 OAI收割软件学报, 2010, 卷号: 21, 期号: 1, 页码: 98-106 周洲仪; 贺也平; 梁洪亮 \| 收藏 \|
	高等级安全操作系统完整性策略模型设计开发及其形式化研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 唐柳英收藏 \|
	基于DTE技术的完整性保护形式模型期刊论文 OAI收割中国科学E辑, 2005, 卷号: 35, 期号: 6, 页码: 570-587 季庆光; 卿斯汉; 贺也平 \| 收藏 \|
	高安全级操作系统形式设计的研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 季庆光收藏 \|