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

Search Results

Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
a novel security scheme for online banking based on virtual machine [会议论文]
2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Guan Bei; Wu Yanjun; Wang Yongji

 
virtual machine replay update: improved implementation for modern hardware architecture [会议论文]
2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Yu Jiageng; Zhou Peng; Wu Yanjun; Zhao Chen

 
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

 
cupping and diamond embeddings: a unifying approach [会议论文]
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02
Fang Chengling; Liu Jiang; Wu Guohua
  |  
 
secure machine learning, a brief overview [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Liao Xiaofeng; Ding Liping; Wang Yongji
  |  
 
driver: diagnosing runtime property violations based on dependency rules [会议论文]
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Liu Yanbin; Yang Ye; Yang Qiusong; Li Mingshu
  |  
 
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
韩伟; 贺也平
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
a systematic framework for grammar testing [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming

 

1 2 next

 

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