中国科学院知识创新工程重要方向项目(KGCX2-YW-12)
- 作品数：4 被引量：2H指数：1
- 相关作者：刘剑易秋萍王玉庆杨秋松李潇更多>>
- 相关机构：中国科学院软件研究所中国科学院大学中国科学院更多>>
- 发文基金：中国科学院知识创新工程重要方向项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于轻量操作系统的虚拟机内省与内存安全监测
- 2015年
- 针对在传统特权虚拟机中利用虚拟机内省实时监测其他虚拟机内存安全的方法不利于安全模块与系统其他部分的隔离,且会拖慢虚拟平台的整体性能的问题,提出基于轻量操作系统实现虚拟机内省的安全架构,并提出基于内存完整性度量的内存安全监测方案。通过在轻量客户机中实现内存实时检测与度量,减小了安全模块的可攻击面,降低了对虚拟平台整体性能的影响。通过无干涉的内存度量和自定义的虚拟平台授权策略增强了安全模块的隔离性。基于Xen中的小型操作系统Mini-OS实现了虚拟机内省与内存检测系统原型,评估表明该方案比在特权虚拟机中实现的同等功能减少了92%以上的性能损耗,有效提高了虚拟机内省与实时度量的效率。
- 马乐乐岳晓萌王玉庆杨秋松
- 关键词：XEN入侵检测
- 一种基于微内核操作系统进程间通信恢复方法
- 2015年
- 微内核架构为操作系统提供了良好的隔离性,高度模块化的架构设计使得微内核架构操作系统对进程间通信的依赖度极高,进程间通信恢复是系统恢复正常运行的关键。权能是微内核架构操作系统中进程对资源操作权限的描述,决定进程间能否进行通信。针对微内核操作系统在系统服务恢复过程中出现的进程间通信信道丢失问题,提出并实现了一种进程间通信恢复方法。在通信异常时保存权能信息,用于在系统关键服务恢复过程中重新建立客户程序与服务程序的进程间通信信道。实验结果表明所提出的方法是有效的,可以提高操作系统的可靠性。
- 孙可钦王玉庆刘剑杨秋松马越
- 关键词：微内核操作系统安全进程间通信
- 一种并发程序原子性错误的检测方法及工具被引量：2
- 2012年
- 原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列。为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC-AVIO。基于MC-AVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MC-AVIO对原子性错误的检测是有效的。
- 李潇刘剑易秋萍
- 关键词：多线程程序
- 一种基于单条程序执行路径的错误定位方法
- 2014年
- 当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误.提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位.对西门子测试数据集进行的实验表明了该方法具有良好的效果.
- 周艺易秋萍刘剑淮晓永
- 关键词：自动化测试
