×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [10]
内容类型
期刊论文 [10]
发表日期
2016 [1]
2014 [1]
2013 [2]
2012 [5]
2010 [1]
学科主题
Computer S... [4]
计算机科学技术基础学... [1]
计算机系统结构::计... [1]
计算机软件::操作系... [1]
计算机软件::程序设... [1]
计算机软件::编译系... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条,第1-10条
帮助
限定条件
内容类型:期刊论文
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Designing and Modeling of Covert Channels in Operating Systems
期刊论文
IEEE TRANSACTIONS ON COMPUTERS, 2016, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ
;
Malik, SUR
;
Bilal, K
;
Yang, QS
;
Wang, YJ
;
Khan, SU
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/12/09
Covert channels
high-level Petri Nets (HLPN)
operating systems
modeling and security
CIVSched: A communication-aware inter-VM scheduling technique for decreased network latency between co-located VMs
期刊论文
IEEE Transactions on Cloud Computing, 2014, 卷号: 2, 期号: 3, 页码: 320-332
Guan, Bei (1)
;
Wu, Jingzheng (1)
;
Wang, Yongji (1)
;
Khan, Samee U. (2)
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2014/12/16
Defending return-oriented programming based on virtualization techniques
期刊论文
Security and Communication Networks, 2013, 卷号: Volume 6, 期号: Issue 10, 页码: 1236-1249
Xiaoqi Jia
;
Rui Wang
;
Jun Jiang
;
Shengzhi Zhang
;
Peng Liu
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2013/04/11
return-oriented programming
hypervisor-based security
hardware-assisted virtualization
Systemic threats to hypervisor non-control data
期刊论文
IET INFORMATION SECURITY, 2013, 卷号: 7, 期号: 4, 页码: 349-354
Ding, Baozeng
;
He, Yeping
;
Wu, Yanjun
;
Yu, Jiageng
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2014/12/16
data integrity
security of data
virtualisation
systemic threats
hypervisor noncontrol data
virtualisation layer
computer systems
secure hypervisors
data integrity
Xen hypervisor
system security
return-oriented programming
DMA attacks
虚拟机确定性执行重放的模型分析和实现方法
期刊论文
软件学报, 2012, 卷号: 23, 期号: 6, 页码: 1620-1634
于佳耕
;
周鹏
;
武延军
;
赵琛
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/09/17
执行重放
不确定事件
模型分析
虚拟机
Xen
Skylark:云端一体化系统的设计与实现
期刊论文
网络新媒体技术, 2012, 卷号: 1, 期号: 6, 页码: 27-33
周鹏
;
蒋媛园
;
王枫
;
谢沛东
;
武延军
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2013/09/17
云计算
桌面虚拟化
应用虚拟化
云端一体化
Spice协议
一种虚拟化环境的脆弱性检测方法
期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 14-17,53
王瑞
;
连一峰
;
陈恺
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/17
虚拟化环境
符号链接
污点传播分析
一种基于虚拟机的动态内存泄露检测方法
期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 10-13,153
蔡志强
;
丁丽萍
;
贺也平
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/09/17
内存泄露
安全检测
虚拟机
Xen
基于静态分析的XSM正确性验证
期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 1-5,22
邓程
;
丁丽萍
;
贺也平
;
韩伟
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/17
静态分析
正确性验证
XSM
钩子函数
Saturn
虚拟可信平台层次化安全体系结构设计
期刊论文
北京工业大学学报, 2010, 期号: 5, 页码: 605-610
沈晴霓
;
杜虹
;
卿斯汉
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/05/24
虚拟化
可信计算
安全体系结构
虚拟机监控器
©版权所有 ©2017 CSpace - Powered by
CSpace