中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [42]
采集方式
OAI收割 [42]
内容类型
期刊论文 [27]
会议论文 [10]
学位论文 [5]
发表日期
2016 [2]
2015 [1]
2014 [4]
2013 [6]
2012 [12]
2011 [7]
更多
学科主题
Computer S... [7]
Computer S... [7]
计算机科学技术基础学... [3]
计算机系统结构::计... [1]
计算机软件::操作系... [1]
计算机软件::程序设... [1]
更多
筛选
浏览/检索结果:
共42条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Dynamically Discovering Likely Memory Layout to Perform Accurate Fuzzing
期刊论文
OAI收割
IEEE TRANSACTIONS ON RELIABILITY, 2016, 卷号: 65, 期号: 3, 页码: 1180-1194
Chen, K
;
Zhang, YJ
;
Liu, P
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2016/12/09
Dynamic testing
fuzzing
memory layout
vulnerability
white-box
Direct Resource Hijacking in Android
期刊论文
OAI收割
IEEE INTERNET COMPUTING, 2016, 卷号: 20, 期号: 5, 页码: 46-56
Gu, YC
;
Li, Q
;
Zhang, HT
;
Su, PR
;
Zhang, XW
;
Feng, DG
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/12/09
Transient Reward Approximation for Continuous-Time Markov Chains
期刊论文
OAI收割
IEEE TRANSACTIONS ON RELIABILITY, 2015, 卷号: 64, 期号: 4, 页码: 1254-1275
Hahn, EM
;
Hermanns, H
;
Wimmer, R
;
Becker, B
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2016/12/13
Continuous-time Markov chains
continuous-time Markov decision processes
abstraction
symbolic methods
ordered binary decision diagrams
移动社交应用的用户隐私泄漏问题研究
期刊论文
OAI收割
计算机学报, 2014, 卷号: 37, 期号: 1, 页码: 87-100
程瑶
;
应凌云
;
焦四辈
;
苏璞睿
;
冯登国
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2014/12/16
智能移动终端
社交通信类应用
隐私泄露
移动社交网络
隐私保护
智能手机
smart mobile devices
social messaging application
privacy leakage
mobile social networks
privacy protection
smartphone
基于异常控制流识别的漏洞利用攻击检测方法
期刊论文
OAI收割
通信学报, 2014, 卷号: 35, 期号: 9, 页码: 20-31
王明华
;
应凌云
;
冯登国
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2014/12/16
软件漏洞
漏洞利用
攻击检测
地址随机化
数据执行保护
software vulnerability
exploit
attack detection
address space layout randomization
data execution protection
Statically-directed dynamic taint analysis
期刊论文
OAI收割
Chinese Journal of Electronics, 2014, 卷号: 23, 期号: 1, 页码: 18-24
Chen, Kai (1)
;
Zhang, Yingjun (2)
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Taint analysis
Statically-directed
Dynamic analysis
Binary code
一种面向程序动态分析的循环摘要生成方法
期刊论文
OAI收割
电子学报, 2014, 卷号: 42, 期号: 6, 页码: 1110-1117
聂楚江
;
刘海峰
;
苏璞睿
;
冯登国
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
循环
软件测试
漏洞分析
符号计算
loop
software testing
vulnerability analysis
symbol computation
基于硬件虚拟化的软件安全沙盒技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2013
姜军
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2013/05/22
硬件虚拟化
虚拟云计算
云安全
面向返回编程
沙盒
Xen
Policykeeper: Recommending Proper Security Mechanisms based on the Severity of Vulnerability Considering User Experience
会议论文
OAI收割
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Yang, Mutian
;
Wu, Jingzheng
;
Wu, Yanjun
;
Wu, Zhifei
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
security mechanism
recommendation
CVSS
user experience
Vulnerability
Vulnerability Detection of Android System in Fuzzing Cloud
会议论文
OAI收割
IEEE 6th International Conference on Cloud Computing (CLOUD), Santa Clara, CA, JUN 27-JUL 03, 2013
Wu, Jingzheng
;
Wu, Yanjun
;
Yang, Mutian
;
Wu, Zhifei
;
Wang, Yongji
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Android
Fuzzing
Cloud Computing
Vulnerability Detection
Security Detection