国家自然科学基金(60673022)
- 作品数：8 被引量：30H指数：4
- 相关作者：陈伟王永吉梁洪亮刘鑫罗威更多>>
- 相关机构：中国科学院软件研究所中国科学院研究生院中国科学院大学更多>>
- 发文基金：国家自然科学基金国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 具有事件恢复功能的文件系统的研究与实现被引量：4
- 2009年
- 把一个进程在其执行过程中对文件的一系列修改称为一个事件。为了解决如何方便有效地恢复某个事件对文件的修改,研究并实现了一个具有事件恢复功能的文件系统GobackFS。GobackFS是一个用户空间文件系统,基于FUSE框架实现。测试结果表明,GobackFS文件系统在读写性能方面略低于Ext3文件系统,寻道速度方面略高于后者。
- 李涛梁洪亮
- 关键词：FUSEEXT3
- 基于模板和CSS技术的Web页面定制被引量：6
- 2008年
- 提出了一种将内容定制与布局定制相结合的解决方案,在使用模板技术完成内容定制的基础上,使用脚本和CSS技术实现了布局定制,使得用户能随意调整页面的内容和布局,给予用户更大的自定义空间。
- 罗威陈伟
- 关键词：定制WEB应用层叠样式表
- 使用容量指标的安全实时数据库信道限制方法被引量：2
- 2008年
- 依据可信计算机系统评测标准(TCSEC)要求,提出一种使用信道容量指标的安全实时数据库中数据竞争信道的限制方法(CUCCMM),给出了限制过程中信道容量度量算法和限制参数计算方法。为了保证系统的信道容量限制标准的准确执行,提出了一种基于多概率的并发控制协议选择策略(MPBPSP)。实验结果证明CUCCMM方法可以有效地、准确地实施对隐蔽信道容量的限制,并且通过使用MPBPSP策略显著降低了信道限制操作对系统实时性能的影响。
- 曾海涛王永吉阮利祖伟蔡嘉勇
- 关键词：信道容量
- 二进制程序安全缺陷静态分析方法的研究综述被引量：6
- 2009年
- 对现有二进制程序安全缺陷静态分析方法进行了综述和分析,提出了整个程序分析过程中的关键问题以及二进制程序安全分析的主要研究方向。通过对二进制程序缺陷静态分析流程的总结,发现二进制程序信息恢复是整个分析过程的关键,构造内容丰富的、通用的中间表示是二进制程序缺陷分析的重要研究方向。
- 田硕梁洪亮
- 关键词：二进制程序反汇编
- 采用基本块规约的控制流检测性能优化方法被引量：1
- 2009年
- 控制流检测是抵御单粒子事件的有效手段之一.目前的主流方法是采用嵌入式签名技术,但是该技术引入的检测指令过多,导致程序效率低下.本文使用基本块规约的技术,在原基本块的基础上,选择合适的约束量重新划分基本块,减少引入的检测指令.与8个常见算法的性能比较表明,该方法在软错误检测覆盖率基本不变的前提下,能有效提高目标程序效率.
- 肖贺王永吉潘远明丁丽萍
- 关键词：软错误控制流检测
- 面向Web2．0的测试管理工具设计与实现被引量：1
- 2008年
- Web2.0时代带来了软件设计理念的全面更新。独占性的Web工具操作、多项目并行管理、用户主导的内容配置等新模式已经被广泛应用于软件设计和网络服务中。分析了目前测试管理工具的现状,提出了一种面向Web2.0的测试管理工具设计和实现方案。它扩展了用户主导应用的理念,实现灵活的定制功能提高了工具的项目适应性,利用AJAX技术增强了系统的交互能力,采用开放的Web Service接口技术实现了与软件生命周期中其它工具的协同操作,是将Web2.0时代新技术应用在测试管理工具设计和实现方面的一种探索。
- 周溦陈伟
- 关键词：WEB2.0测试管理工具AJAXWEBSERVICE软件生命周期
- 基于Snort规则库的冲突检测被引量：3
- 2008年
- 为了解决Snort入侵检测系统中由于规则库存在冲突而可能导致的漏报和误报问题,提出了检测规则冲突的方法。定义了规则之间的关系;通过单根结构的策略树简单有效的表示规则,并揭示规则之间的关系;由规则之间的关系和相对顺序定义了冲突的类型,并通过冲突状态转换图反映冲突发现的过程,在此基础上进一步提出冲突检测算法;最后对Snort规则库的一部分进行检测,结果表明这种方法可以有效发现冲突。
- 余文卫王永吉
- 关键词：入侵检测系统
- 基于AJAx和Server Push的Web树组件设计与实现被引量：7
- 2009年
- 树组件[1]的功能简单、界面表现力较差,而且组件效率较低,难以满足复杂的应用需求。基于目前流行的AJAX技术,给出一个具有较强的可扩展性的Web树组件的设计和实现。组件在Web上为用户提供了类似于在Windows资源管理器中对目录树操作的基本功能和用户体验。另外,还采用Server Push技术对树组件进行了改进,解决了AJAX应用中可能出现的数据不一致的问题。
- 刘鑫陈伟
- 关键词：树结构AJAX服务器推技术COMET
