中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
采集方式
OAI收割 [3]
内容类型
学位论文 [3]
发表日期
2010 [3]
学科主题
计算机科学技术基础学... [3]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共3条,第1-3条
帮助
限定条件
学科主题:计算机科学技术基础学科::数据安全与计算机安全
内容类型:学位论文
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
发表日期升序
发表日期降序
构建度量区间时序逻辑的时间自动机
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王勤思
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/06/08
模型检测
实时时序逻辑
度量区时序逻辑
基于迁移的扩展时间Büchi自动机
Tableau方法。
面向Feistel密码的基于故障传播模式的差分故障分析
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
陈海宁
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/06/09
Feistel密码
差分故障分析
故障传播模式
故障传播路径
Camellia
密码Hash函数相关问题研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
薛宇
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/06/06
Hash函数
差分分析
碰撞攻击
SHA-3
扩散层