Search Results

Item hits: (Results 1-10 of 130)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date DescendingAuthor AscendingAuthor Descending
	Java内存模型的动静态结合验证方法 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-05-16 李亮   |
	基于TrustZone的Android完整性验证研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-26 陈坚   |
	基于启发式方法的带参系统形式化验证 [学位论文] 硕士, 北京: 中国科学院大学, 2016-05-24 段凯强   |
	AKC攻击的模式、预防及案例分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-01 麻婧   |
	基于公式学习的循环不变式的推导 [学位论文] 硕士, 北京: 中国科学院研究生院, 2014-05-28 哈晓琳   |
	基于不变式的混成系统分析、验证和设计方法研究 [学位论文] 博士, 北京: 中国科学院大学, 2014-05-27 赵恒军   |
	带时间和资源约束的实例化过程模型验证方法 [期刊论文] 计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松
	面向Web应用的软件部署关键技术研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2013-05-27 陈伟   |
	可验证的云访问控制方案研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2013-05-01 司晓琳   |
	基于测试床模拟的通用安全评估框架 [期刊论文] 信息网络安全, 2013-01-01, 期号: z1, 页码: 13-16 张海霞; 连一峰

1 2 3 4 5 6 7 8 9 10 next