中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [25]
国家授时中心 [6]
计算技术研究所 [5]
高能物理研究所 [5]
沈阳自动化研究所 [4]
声学研究所 [1]
更多
采集方式
OAI收割 [46]
_filter
_filter
_filter
筛选
浏览/检索结果:
共46条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于 TPM 2.0 的协议设计与分析研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
|
收藏
|
浏览/下载:206/0
|
提交时间:2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
下一代可信计算协议的设计与分析
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2016
邵健雄
|
收藏
|
浏览/下载:26/0
|
提交时间:2016/06/06
可信计算
TPM 2.0
API分析
形式化方法
匿名认证协议
并发系统差分隐私的形式化验证
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2014
许丽丽
|
收藏
|
浏览/下载:20/0
|
提交时间:2015/01/16
差分隐私
概率自动机
模块化分析
定量互模拟
Kantorovich距离
Crowds协议
密码学家就餐协议
证明系统
可信计算协议的形式化分析方法和测试技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2014
奚瓅
|
收藏
|
浏览/下载:16/0
|
提交时间:2015/01/26
可信计算
形式化分析
API
匿名协议
PROFIBUS协议分析软件的设计与实现
期刊论文
OAI收割
化工自动化及仪表, 2012, 卷号: 39, 期号: 10, 页码: 1300-1301, 1364
作者:
胡静涛
;
杨志家
收藏
|
浏览/下载:25/0
|
提交时间:2012/12/28
PROFIBUS
现场总线
协议分析
软件
基于CPN的可信路由器发现协议建模与仿真分析
期刊论文
OAI收割
系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701
作者:
张珺
;
刘靖
;
叶新铭
;
许智君
|
收藏
|
浏览/下载:1/0
|
提交时间:2023/12/04
接入路由器身份认证
着色Petri网
仿真分析
协议验证
性能分析
基于动态污点传播的恶意代码分析研究
学位论文
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
网络RAID系统
后端集中冗余管理
冗余管理协议
活跃数据缓存
数据可靠性分析
基于一阶迁移系统的限界模型检测工具实现
期刊论文
OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
收藏
|
浏览/下载:24/0
|
提交时间:2011/05/23
限界模型检测
一阶迁移系统
通道
验证算法
协议分析bounded model checking
first order transition system
channel
verification algorithm
protocol analysis
首页
上一页
1
2
3
4
5
下一页
末页