中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
_filter
_filter
_filter
筛选

浏览/检索结果: 共46条,第1-10条 帮助

条数/页: 排序方式:
基于 TPM 2.0 的协议设计与分析研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2019
作者:  
王微谨
  |  收藏  |  浏览/下载:206/0  |  提交时间:2019/07/03
下一代可信计算协议的设计与分析 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2016
邵健雄
  |  收藏  |  浏览/下载:26/0  |  提交时间:2016/06/06
并发系统差分隐私的形式化验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2014
许丽丽
  |  收藏  |  浏览/下载:20/0  |  提交时间:2015/01/16
可信计算协议的形式化分析方法和测试技术研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2014
奚瓅
  |  收藏  |  浏览/下载:16/0  |  提交时间:2015/01/26
PROFIBUS协议分析软件的设计与实现 期刊论文  OAI收割
化工自动化及仪表, 2012, 卷号: 39, 期号: 10, 页码: 1300-1301, 1364
作者:  
胡静涛;  杨志家
收藏  |  浏览/下载:25/0  |  提交时间:2012/12/28
基于CPN的可信路由器发现协议建模与仿真分析 期刊论文  OAI收割
系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701
作者:  
张珺;  刘靖;  叶新铭;  许智君
  |  收藏  |  浏览/下载:1/0  |  提交时间:2023/12/04
基于动态污点传播的恶意代码分析研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2011
刘豫
  |  收藏  |  浏览/下载:41/0  |  提交时间:2011/06/13
恶意软件网络协议的语法和行为语义分析方法 期刊论文  OAI收割
软件学报, 2011, 卷号: 22, 期号: 7, 页码: 1676-1689
应凌云; 杨轶; 冯登国; 苏璞睿
  |  收藏  |  浏览/下载:12/0  |  提交时间:2013/10/08
BW-netRAID:一种后端集中冗余管理的网络RAID系统 期刊论文  OAI收割
计算机学报, 2011, 卷号: 34.0, 期号: 005, 页码: 912
作者:  
那文武;  柯剑;  朱旭东;  孟晓烜;  卜庆忠
  |  收藏  |  浏览/下载:1/0  |  提交时间:2023/12/04
基于一阶迁移系统的限界模型检测工具实现 期刊论文  OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
收藏  |  浏览/下载:24/0  |  提交时间:2011/05/23
  • 首页
  • 上一页
  • 1
  • 2
  • 3
  • 4
  • 5
  • 下一页
  • 末页