机构

• 软件研究所 [10]
• 自动化研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 会议论文 [9]
• 学位论文 [1]
• 期刊论文 [1]

发表日期

• 2012 [2]
• 2011 [6]
• 2010 [1]
• 2009 [1]
• 2000 [1]

学科主题

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 a novel security scheme for online banking based on virtual machine 会议论文  OAI收割 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   |  收藏  |  浏览/下载：29/0  |  提交时间：2013/09/22 C (programming language)  Computer crime  Computer simulation  Internet protocols  Software reliability  Viruses  Web services  Websites   virtual machine replay update: improved implementation for modern hardware architecture 会议论文  OAI收割 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   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22 C (programming language)  Hardware  Microprocessor chips  Security of data  Software reliability   static analysis of format string vulnerabilities 会议论文  OAI收割 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   |  收藏  |  浏览/下载：26/0  |  提交时间：2013/10/08 C (programming language)  Safety engineering   cupping and diamond embeddings: a unifying approach 会议论文  OAI收割 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02 Fang Chengling; Liu Jiang; Wu Guohua 收藏  |  浏览/下载：20/0  |  提交时间：2011/10/10 C (programming language)  Computability and decidability   verifying the safety of xen security modules 会议论文  OAI收割 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   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/10/10 C (programming language)  Computer simulation  Reliability analysis  Software reliability  Static analysis   类Unix文件系统中TOCTTOU缺陷的静态分析方法 期刊论文  OAI收割 计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1430-1437 韩伟; 贺也平   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/10/10 TOCTTOU缺陷  文件竞争条件  静态分析  流敏感分析  路径敏感分析C (programming language)  UNIX   driver: diagnosing runtime property violations based on dependency rules 会议论文  OAI收割 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   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/10/10 C (programming language)  Failure analysis  Monitoring  Program diagnostics   secure machine learning, a brief overview 会议论文  OAI收割 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   |  收藏  |  浏览/下载：33/0  |  提交时间：2011/10/10 C (programming language)  Intrusion detection  Learning systems  Population statistics  Software reliability   a memory model for static analysis of c programs 会议论文  OAI收割 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834 Xu Zhongxing; Kremenek Ted; Zhang Jian   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31 C (programming language)  Formal methods  Storage allocation (computer)   a systematic framework for grammar testing 会议论文  OAI收割 8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03, Zheng Lixiao; Chen Haiming   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/20 C (programming language)  Information science  Modular construction  Testing