中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [20]
计算技术研究所 [7]
上海微系统与信息技术... [1]
采集方式
OAI收割 [28]
内容类型
期刊论文 [18]
学位论文 [10]
发表日期
2019 [1]
2016 [1]
2015 [1]
2012 [3]
2011 [1]
2010 [3]
更多
学科主题
Computer S... [3]
计算机应用 [1]
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共28条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
基于关联规则学习的带参验证系统
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2019
作者:
曹嘉伦
  |  
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2019/06/18
带参协议
带参验证
模型检测
关联规则学习
AKC攻击的模式、预防及案例分析
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2016
麻婧
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2016/06/29
安全协议
AKC攻击
形式化验证
安全性质
协议转换
PCIE协议栈模拟验证平台的设计和实现
期刊论文
OAI收割
计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287
作者:
张良
;
王天成
;
王健
;
李华伟
;
郭建
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2023/12/04
功能验证
PCIE协议栈
协议栈验证
功能覆盖率
约束随机模拟
激励生成
认知无线电网络分布式协同感知协议形式化验证研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2012
刘金波
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2012/05/31
形式化验证
SPIN
频谱感知协议
模型检测
分布式系统
传感器网络信息处理支撑服务测试研究
期刊论文
OAI收割
计算机工程, 2012, 期号: 2, 页码: 119-122+125
王彦哲
;
汪歆
;
邱依昕
;
潘强
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2013/02/22
传感器网络
信息处理
信息处理支撑服务
协议验证
协议测试
基于CPN的可信路由器发现协议建模与仿真分析
期刊论文
OAI收割
系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701
作者:
张珺
;
刘靖
;
叶新铭
;
许智君
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2023/12/04
接入路由器身份认证
着色Petri网
仿真分析
协议验证
性能分析
一种P2P文件共享网络高精度自适应声誉机制
期刊论文
OAI收割
软件学报, 2011, 卷号: 22.0, 期号: 010, 页码: 2346
作者:
王淼
;
陶飞
;
张玉军
;
李国杰
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2023/12/04
文件共享
P2P网络
相似度
交易验证协议
信任值
模型检测MESIF Cache一致性协议
期刊论文
OAI收割
计算机工程与应用, 2010, 卷号: 46, 期号: 17, 页码: 66-68,152
吕正
;
陈昊
;
陈峰
;
吕毅
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2011/05/24
模型检测
Cache一致性协议
形式验证model checking
Cache coherence pmtocol
fomal verification
基于一阶迁移系统的限界模型检测工具实现
期刊论文
OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2011/05/23
限界模型检测
一阶迁移系统
通道
验证算法
协议分析bounded model checking
first order transition system
channel
verification algorithm
protocol analysis
实例依赖的可验证随机函数的高效构造
期刊论文
OAI收割
计算机应用研究, 2010, 卷号: 27, 期号: 7, 页码: 2621-2624
师鸣若
;
姜中华
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2011/05/23
零知识协议
实例依赖
可验证随机函数zero knowledge protocol
instance-dependent
verifiable random function