×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [24]
内容类型
会议论文 [15]
期刊论文 [9]
发表日期
2016 [1]
2012 [3]
2011 [3]
2010 [4]
2008 [1]
2007 [2]
更多...
学科主题
Computer S... [2]
Informatio... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共24条,第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
a covert channel using core alternation
会议论文
26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26, 2012 - March 29, 2012
Li Yangwei
;
Shen Qingni
;
Zhang Cong
;
Sun Pengfei
;
Chen Ying
;
Qing Sihan
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2013/09/22
Computer operating systems
一种基于完整性度量架构的数据封装方法
期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 1, 页码: 210-216
沈晴霓
;
杜虹
;
文汉
;
卿斯汉
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2012/11/12
Computer operating systems
syncchecker: detecting synchronization errors between mpi applications and libraries
会议论文
2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21, 2012 - May 25, 2012
Chen Zhezhe
;
Li Xinyu
;
Chen Jau-Yuan
;
Zhong Hua
;
Qin Feng
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/22
Communication
Computer operating systems
Distributed parameter networks
Experiments
Libraries
Software testing
explorations of the implementation of a parallel idw interpolation algorithm in a linux cluster-based parallel gis
期刊论文
Computers and Geosciences, 2011, 卷号: 37, 期号: 4, 页码: 426-434
Huang Fang
;
Liu Dingsheng
;
Tan Xicheng
;
Wang Jian
;
Chen Yunping
;
He Binbin
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/10/08
Computer operating systems
Interpolation
Numerical control systems
Optical radar
Parallel architectures
Parallel programming
a practical covert channel identification approach in source code based on directed information flow graph
会议论文
2011 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Wu JingZheng
;
Ding Liping
;
Wang Yongji
;
Han Wei
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/10/10
Algorithms
Building codes
Computer operating systems
Computer programming languages
Graphic methods
Software reliability
secguard: secure and practical integrity protection model for operating systems
会议论文
13th Asia-Pacific Conference on Web Technology, APWeb 2011, Beijing, China, April 18,
Zhai Ennan
;
Shen Qingni
;
Wang Yonggang
;
Yang Tao
;
Ding Liping
;
Qing Sihan
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/10/10
Computer operating systems
Network security
一种基于可信计算的分布式使用控制系统
期刊论文
计算机学报, 2010, 卷号: 33, 期号: 1, 页码: 93-102
初晓博
;
秦宇
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2011/05/23
可信计算
使用控制
分布式访问控制
Linux安全模块
可信扩展访问控制标记语言Computer operating systems
Linguistics
Markup languages
Security systems
model checking a secure hypervisor
会议论文
Wuhan
Sunlv Wang
;
Jian Liu
;
Qiuping Yi
;
Xian Zhang
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/03/31
CAS monitor
Spin PROMELA language
model checking
platform-virtualization software
secure hypervisor
formal verification
operating systems (computers)
security of data
virtual machines
zifi: wireless lan discovery via zigbee interference signatures
会议论文
16th Annual Conference on Mobile Computing and Networking, MobiCom 2010, Chicago, IL, United states, September
Zhou Ruogu
;
Xiong Yongping
;
Xing Guoliang
;
Sun Limin
;
Ma Jian
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2011/03/31
Algorithms
Computer operating systems
Energy conversion
Experiments
Global system for mobile communications
Laptop computers
Mobile ad hoc networks
Mobile computing
Mobile devices
Signal detection
Signal processing
Technical presentations
Telecommunication networks
Wireless local area networks (WLAN)
©版权所有 ©2017 CSpace - Powered by
CSpace