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

Search Results

Help

Item hits: (Results 1-10 of 18)

Items/Page:    Sort:
中国计算机发展简史 [期刊论文]
科技导报, 2016-01-01, 卷号: 34, 期号: 14, 页码: 12-21
陶建华; 刘瑞挺; 徐恪; 韩伟力; 张华平; 于剑; 田丰; 梁晓辉

 
安全操作系统测评关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-30
韩伟
  |  
 
基于静态分析的XSM正确性验证 [期刊论文]
计算机应用与软件, 2012-01-01, 卷号: 29, 期号: 9, 页码: 1-5,22
邓程; 丁丽萍; 贺也平; 韩伟

 
static analysis of format string vulnerabilities [会议论文]
1st ACIS International Symposium on Software and Network Engineering, SSNE 2011, Seoul, Korea, Republic of, December 19, 2011 - December 20, 2011
Han Wei; Ren Mengfei; Tian Shuo; Ding Liping; He Yeping

 
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
  |  
 
identification and evaluation of sharing memory covert timing channel in xen virtual machines [会议论文]
2011 IEEE 4th International Conference on Cloud Computing, CLOUD 2011, Washington, DC, United states, 4-Jul-20
Wu Jing Zheng; Ding Liping; Wang Yongji; Han Wei
  |  
 
verifying the safety of xen security modules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
  |  
 
类Unix文件系统中TOCTTOU缺陷的静态分析方法 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 8, 页码: 1430-1437
韩伟; 贺也平
  |  
 
mcgim-based model streaming for realtime progressive rendering [期刊论文]
Journal of Computer Science and Technology, 2010-01-01, 卷号: 26, 期号: 1, 页码: 166-175
Sheng Bin; Meng Wei-Liang; Sun Han-Qiu; Wu En-Hua
  |  
 
groupability in security policy models [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1953-1966
Cai Jia-Yong; Qing Si-Han; Liu Wei
  |  
 

1 2 next

 

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