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

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

帮助

条数/页：排序方式：
	基于良基语义的安全策略表达与验证方法期刊论文 OAI收割软件学报, 2012, 卷号: 23.0, 期号: 004, 页码: 912 作者: 包义保; 殷丽华; 方滨兴; 郭莉 \| 收藏 \|
	云存储中的数据完整性验证方法研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 殷佳欣 \| 收藏 \|
	分布式环境下安全策略的可信关键技术研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 张谦 \| 收藏 \|
	一种通过应用程序验证TPM标准符合性的方法期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656 崔奇; 石文昌 \| 收藏 \|
	基于DTE策略的安全域隔离Z形式模型期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓 \| 收藏 \|
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \|
	基于AS关系的BGP路由策略验证方法期刊论文 OAI收割计算机工程, 2006, 卷号: 32.0, 期号: 013, 页码: 123 作者: 翟鹏; 李登道; 毕经平 \| 收藏 \|
	基于最小序句子的上下文无关语言句子枚举期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 1, 页码: 9-14 黄文集 \| 收藏 \|
	Linux实时调度方案的设计与实现期刊论文 OAI收割计算机研究与发展, 2003, 卷号: 40, 期号: 5, 页码: 728-733 李小群; 赵慧斌; 叶以民; 孙玉芳 \| 收藏 \|