Search Results

Item hits: (Results 1-10 of 75)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	时滞动态系统的形式验证与控制生成 [学位论文] 博士, 北京: 中国科学院大学, 2019-05-24 陈明帅   |
	基于反例制导抽象精化的安全性验证 [学位论文] 博士, 北京: 中国科学院研究生院, 2016-05-25 王伟锋   |
	AKC攻击的模式、预防及案例分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-01 麻婧   |
	复杂网络的结构与安全性 [学位论文] 博士, 北京: 中国科学院研究生院, 2014-11-25 张巍   |
	基于不变式的混成系统分析、验证和设计方法研究 [学位论文] 博士, 北京: 中国科学院大学, 2014-05-27 赵恒军   |
	虚拟化平台可信服务构建与系统分析研究 [学位论文] 博士, 北京: 中国科学院大学, 2013-05-25 常德显   |
	基于通用知识的软件设计安全性评估 [期刊论文] 计算机系统应用, 2013-01-01, 期号: 11, 页码: 1-6,80 戚荣波; 杜晶; 杨叶
	IPv6的发展前景 [期刊论文] 电力信息化, 2013-01-01, 卷号: 11, 期号: 4, 页码: 13-14 邓攀
	一种软件设计安全性评估的自动化辅助方法及实现 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-28 戚荣波   |
	TPM可迁移密钥安全性分析与研究 [期刊论文] 小型微型计算机系统, 2012-01-01, 卷号: 33, 期号: 10, 页码: 2188-2193 张倩颖; 赵世军; 冯登国

1 2 3 4 5 6 7 8 next