中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 42)

Items/Page:    Sort:
Designing and Modeling of Covert Channels in Operating Systems [期刊论文]
IEEE TRANSACTIONS ON COMPUTERS, 2016-01-01, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU
  |  
 
Quantitatively Measure Access Control Mechanisms Across Different Operating Systems [会议论文]
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Cheng, Liang; Zhang, Yang; Han, Zhihui

 
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

 
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

 
基于半虚拟技术的嵌入式分区系统设计与实现 [期刊论文]
Computer Engineering and Design, 2012-01-01, 卷号: 33, 期号: 1, 页码: 132-137
李剑; 胡晓惠; 赵军锁
  |  
 
一种基于完整性度量架构的数据封装方法 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 1, 页码: 210-216
沈晴霓; 杜虹; 文汉; 卿斯汉
  |  
 
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
  |  
 
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
  |  
 
explorations of the implementation of a parallel idw interpolation algorithm in a linux cluster-based parallel gis [期刊论文]
Computers and Geosciences, 2011-01-01, 卷号: 37, 期号: 4, 页码: 426-434
Huang Fang; Liu Dingsheng; Tan Xicheng; Wang Jian(王健); Chen Yunping; He Binbin

 
虚拟机指令级重放技术的研究与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
周鹏
  |  
 

1 2 3 4 5 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace