|
已选(0)清除
条数/页： 排序方式：
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
  收藏 | 浏览/下载：192/0 | 提交时间：2019/07/03
|
| 软件形式化方法与应用专题前言 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东
收藏 | 浏览/下载：7/0 | 提交时间：2016/12/09
|
| 基于主动规则推理的故障诊断系统设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2011
李欣
收藏 | 浏览/下载：8/0 | 提交时间：2011/06/07
|
| 基于一阶迁移系统的限界模型检测工具实现 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
冯庆奎
收藏 | 浏览/下载：10/0 | 提交时间：2009/06/12
|
| 带参并发系统的模型检测 学位论文
硕士, 中科院软件所: 中科院研究生院, 2009
-
收藏 | 浏览/下载：11/0 | 提交时间：2009/06/11
|
| 网络安全协议形式化分析及支撑工具研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
肖美华
收藏 | 浏览/下载：19/0 | 提交时间：2011/03/17
|
| 基于DTE策略的安全域隔离Z形式模型 期刊论文
计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888
卿斯汉; 李丽萍; 何建波; 沈晴霓
收藏 | 浏览/下载：11/0 | 提交时间：2011/07/01
|
| 可信进程机制及相关问题研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
梁彬
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
| Web服务复合的若干关键问题研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
任志宏
收藏 | 浏览/下载：6/0 | 提交时间：2011/03/17
|
| 分布式系统形式化建模技术研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
郑红
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/17
|
