“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2010ZX01036-001-002)

作品数：5被引量：11H指数：2
导出分析报告
相关作者：贺也平丁丽萍韩伟张灿陈军成更多>>
相关机构：中国科学院软件研究所中国科学院研究生院石家庄铁道大学中国科学院大学更多>>
相关期刊：《计算机应用与软件》《高技术通讯》《计算机研究与发展》更多>>
相关主题：GUIANDROID平台ANDROID回放录制更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用于多核同步优化的cache一致性协议设计
《高技术通讯》2013年第11期1110-1116,共7页陈李维 张广飞 汪文祥 王焕东 李玲 
国家“核高基”科技重大专项课题(2009ZX01028-002-003,2009ZX01029-001-003,2010ZX01036-001-002);国家自然科学基金(60921002,61003064,61050002,61070025,61100163,61133004,61173001,61232009);863计划(2012AA010901,2012AA011002,2012AA012202,2013AA014301)资助项目
通过对多核同步过程中的访存行为进行分析,提出了一种识别同步类型的方法,并设计了一种实现同步优化的新的cache一致性协议。该协议增加了一个用于记录同步信息的cache状态,通过阻塞的方式可以让多个处理器核串行地完成同步操作,保证同...
关键词：同步 栅障 锁 CACHE一致性协议 片上多核处理器(CMPs) 
基于静态分析的XSM正确性验证
《计算机应用与软件》2012年第9期1-5,22,共6页邓程 丁丽萍 贺也平 韩伟 
国家自然科学基金项目(90818012);"核高基"国家科技重大专项(2010ZX01036-001-002);中国科学院知识创新工程重要方向项目(KGCX2-YW-125)
XSM(Xen Security Module)是虚拟机Xen的安全模型框架,对系统的安全性具有决定性的作用。目前,对类似的强制访问框架的正确性验证研究主要集中于对钩子函数放置的验证。现有检测方法通常路径覆盖不够完整,或者有较高的误报率。对XSM框...
关键词：静态分析 正确性验证 XSM 钩子函数 SATURN 
一种基于虚拟机的动态内存泄露检测方法被引量：4
《计算机应用与软件》2012年第9期10-13,153,共5页蔡志强 丁丽萍 贺也平 
国家自然科学基金项目(90818012);"核高基"国家科技重大专项(2010ZX01036-001-002);中国科学院知识创新工程重要方向项目(KGCX2-YW-125)
内存泄露是一种常见的系统安全问题。虚拟技术是云计算的关键技术,虚拟机环境下的内存泄露不容忽视。而基于虚拟机的内存泄露检测技术尚未成熟。分析虚拟机Xen内核源码中与内存分配有关的代码,提出一种动态检测虚拟机中内存泄露的方法...
关键词：内存泄露 安全检测 虚拟机 XEN 
类Unix文件系统中TOCTTOU缺陷的静态分析方法被引量：2
《计算机研究与发展》2011年第8期1430-1437,共8页韩伟 贺也平 
国家自然科学基金项目(90818012);"核高基"国家科技重大专项(2010ZX01036-001-002);中国科学院知识创新工程重要方向项目(KGCX2-YW-125)
文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点:一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分析过程过度抽象,忽略了很多重要的程序信息.因此,首先对TOCT...
关键词：TOCTTOU缺陷 文件竞争条件 静态分析 流敏感分析 路径敏感分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部