国家自然科学基金(60673022)

作品数：8被引量：21H指数：3
导出分析报告
相关作者：陈伟王永吉梁洪亮刘鑫罗威更多>>
相关机构：中国科学院软件研究所中国科学院研究生院中国科学院大学中国科学院自动化研究所更多>>
相关期刊：《计算机工程与设计》《通信学报》《计算机应用研究》《小型微型计算机系统》更多>>
相关主题：AJAXWEBB树WE服务器推技术更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
采用基本块规约的控制流检测性能优化方法被引量：1
《小型微型计算机系统》2009年第12期2378-2382,共5页肖贺 王永吉 潘远明 丁丽萍 
国家自然科学基金项目(60673022)资助;国家"十一五"国防预研项目资助;国家重点实验室基金项目资助
控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术,但是该技术引入的检测指令过多,导致程序效率低下.本文使用基本块规约的技术,在原基本块的基础上,选择合适的约束量重新划分基本块,减少引入的检测指令....
关键词：软错误 控制流检测 基本块规约 性能优化 
二进制程序安全缺陷静态分析方法的研究综述被引量：4
《计算机科学》2009年第7期8-14,共7页田硕 梁洪亮 
863计划重点项目(2007AA010601);国家自然科学基金(60673022);北京市科委项目(Z08000102000801)资助
对现有二进制程序安全缺陷静态分析方法进行了综述和分析,提出了整个程序分析过程中的关键问题以及二进制程序安全分析的主要研究方向。通过对二进制程序缺陷静态分析流程的总结,发现二进制程序信息恢复是整个分析过程的关键,构造内容...
关键词：二进制程序 静态分析 安全缺陷 中间表示 反汇编 
具有事件恢复功能的文件系统的研究与实现被引量：3
《计算机科学》2009年第3期270-272,280,共4页李涛 梁洪亮 
863重点项目;开源资源库协同开发技术及系统研究(2007AA010601);国家自然科学基金项目(60673022);国家科技攻关计划项目(2005BA113A02)资助
把一个进程在其执行过程中对文件的一系列修改称为一个事件。为了解决如何方便有效地恢复某个事件对文件的修改,研究并实现了一个具有事件恢复功能的文件系统GobackFS。GobackFS是一个用户空间文件系统,基于FUSE框架实现。测试结果表明,...
关键词：事件 文件系统 FUSE EXT3 
基于AJAx和Server Push的Web树组件设计与实现被引量：5
《计算机工程与设计》2009年第3期679-682,共4页刘鑫 陈伟 
国家自然科学基金项目(60673022)
树组件[1]的功能简单、界面表现力较差,而且组件效率较低,难以满足复杂的应用需求。基于目前流行的AJAX技术,给出一个具有较强的可扩展性的Web树组件的设计和实现。组件在Web上为用户提供了类似于在Windows资源管理器中对目录树操作的...
关键词：树结构 AJAX 树组件 服务器推技术 COMET 
面向Web2．0的测试管理工具设计与实现
《计算机工程与设计》2008年第24期6231-6235,6239,共6页周溦 陈伟 
国家自然科学基金项目(60673022)
Web2.0时代带来了软件设计理念的全面更新。独占性的Web工具操作、多项目并行管理、用户主导的内容配置等新模式已经被广泛应用于软件设计和网络服务中。分析了目前测试管理工具的现状,提出了一种面向Web2.0的测试管理工具设计和实现方...
关键词：WEB2.0 测试管理工具 AJAX WEB SERVICE 软件生命周期 
基于模板和CSS技术的Web页面定制被引量：5
《计算机应用研究》2008年第7期2100-2103,共4页罗威 陈伟 
国家自然科学基金资助项目(60673022)
提出了一种将内容定制与布局定制相结合的解决方案,在使用模板技术完成内容定制的基础上,使用脚本和CSS技术实现了布局定制,使得用户能随意调整页面的内容和布局,给予用户更大的自定义空间。
关键词：定制 布局 WEB应用 模板 层叠样式表 
基于Snort规则库的冲突检测被引量：1
《计算机工程与设计》2008年第3期576-579,624,共5页余文卫 王永吉 
国家自然科学基金项目(60673022);国家科技攻关计划基金项目(2005BA113A02)
为了解决Snort入侵检测系统中由于规则库存在冲突而可能导致的漏报和误报问题,提出了检测规则冲突的方法。定义了规则之间的关系;通过单根结构的策略树简单有效的表示规则,并揭示规则之间的关系;由规则之间的关系和相对顺序定义了冲突...
关键词：入侵检测系统 规则 冲突检测 策略树 冲突状态转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部