Search Results

Item hits: (Results 1-10 of 110)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date DescendingAuthor AscendingAuthor Descending
	下一代可信计算协议的设计与分析 [学位论文] 博士, 北京: 中国科学院研究生院, 2016-05-21 邵健雄   |
	AKC攻击的模式、预防及案例分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-01 麻婧   |
	软件形式化方法与应用专题前言 [期刊论文] 软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 495-496 詹乃军; 王戟; 李宣东
	数据库形式化安全策略模型建模及分析方法 [期刊论文] 通信学报, 2015-01-01, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊   |
	基于MTM的可信系统应用与安全性分析研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2014-11-23 冯伟   |
	可信计算协议的形式化分析方法和测试技术研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2014-11-01 奚瓅   |
	带时间和资源约束的实例化过程模型验证方法 [期刊论文] 计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松
	SRLtoRadl生成系统及其范畴论语义 [期刊论文] 电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康
	公平性约束下基于抽象和推理的活性验证 [学位论文] 博士, 北京: 中国科学院研究生院, 2013-05-31 龙腾   |
	连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文] 硕士, 北京: 中国科学院大学, 2013-05-27 高杨   |

1 2 3 4 5 6 7 8 9 10 next