|
已选(0)清除
条数/页： 排序方式：
|
| 基于行为特征的CPU漏洞发现与利用方法研究 学位论文
硕士, 北京: 中国科学院大学, 2020
作者: 刘迎辉
  收藏 | 浏览/下载：4/0 | 提交时间：2020/06/10
|
| 基于反例制导抽象精化的安全性验证 学位论文
博士, 北京: 中国科学院研究生院, 2016
王伟锋
收藏 | 浏览/下载：23/0 | 提交时间：2016/05/31
|
| 安全芯片侧信道能量分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2013
罗鹏
收藏 | 浏览/下载：19/0 | 提交时间：2013/05/28
|
| 一种面向软件过程的可信证据模型及过程可信性评估方法研究 学位论文
博士, 北京: 中国科学院研究生院, 2012
杜晶
收藏 | 浏览/下载：11/0 | 提交时间：2013/01/09
|
| 信息安全绩效评估方法研究 学位论文
博士, 北京: 中国科学院研究生院, 2012
吴迪
收藏 | 浏览/下载：7/0 | 提交时间：2012/07/09
|
| 空间信息基础设施安全策略模型与应用研究 学位论文
博士, 北京: 中国科学院研究生院, 2011
张德胜
收藏 | 浏览/下载：7/0 | 提交时间：2011/06/30
|
| 基于模型检测的安全协议形式化分析方法的研究 学位论文
硕士, 北京: 中国科学院研究生院, 2011
赵振举
收藏 | 浏览/下载：7/0 | 提交时间：2011/06/15
|
| 基于Yices对时间自动机的有界模型检测 学位论文
硕士, 中科院软件所: 中科院软件所, 2009
-
收藏 | 浏览/下载：13/0 | 提交时间：2009/06/11
|
| 安全操作系统最小特权关键技术研究 学位论文
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
蔡嘉勇
收藏 | 浏览/下载：56/0 | 提交时间：2011/03/17
|
| 分布式系统中的可信技术研究 学位论文
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
石志国
收藏 | 浏览/下载：14/0 | 提交时间：2011/03/17
|
