国家自然科学基金(90818012)

作品数：10被引量：51H指数：4
导出分析报告
相关作者：贺也平丁丽萍梁洪亮吴新松周洲仪更多>>
相关机构：中国科学院软件研究所中国科学院研究生院国家互联网应急中心中国移动通信研究院更多>>
相关期刊：《计算机学报》《计算机工程与设计》《通信学报》《计算机应用与软件》更多>>
相关主题：虚拟机可信计算MERKLEXEN保护隐私更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态分析的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 
虚拟机确定性执行重放的模型分析和实现方法
《软件学报》2012年第6期1620-1634,共15页于佳耕 周鹏 武延军 赵琛 
国家自然科学基金(90818012);中国科学院知识创新工程(KGCX2-YW-125)
进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重...
关键词：执行重放 不确定事件 模型分析 虚拟机 XEN 
类Unix文件系统中TOCTTOU缺陷的静态分析方法被引量：2
《计算机研究与发展》2011年第8期1430-1437,共8页韩伟 贺也平 
国家自然科学基金项目(90818012);"核高基"国家科技重大专项(2010ZX01036-001-002);中国科学院知识创新工程重要方向项目(KGCX2-YW-125)
文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点:一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分析过程过度抽象,忽略了很多重要的程序信息.因此,首先对TOCT...
关键词：TOCTTOU缺陷 文件竞争条件 静态分析 流敏感分析 路径敏感分析 
一个环境适应的基于角色的访问控制模型被引量：14
《计算机研究与发展》2011年第6期983-990,共8页吴新松 贺也平 周洲仪 梁洪亮 
国家自然科学基金项目(90818012);国家“八六三”高技术研究发展计划基金重点项目(2007AA010601);中国科学院重要方向项目(KGCX2-YW-125)
大型网络应用如疫情报告系统需要访问控制系统根据环境变化调整访问控制策略,而现有的访问控制模型缺乏灵活性,难以适应环境动态变化的需要.通过对RBAC模型进行扩展,提出了一个环境适应的基于角色的访问控制模型EA-RBAC.该模型相对于传...
关键词：访问控制 环境适应 RBAC 环境角色 虚拟域 
一种保护隐私的高效远程验证机制被引量：14
《软件学报》2011年第2期339-352,共14页徐梓耀 贺也平 邓灵莉 
国家自然科学基金(90818012);中国科学院重大方向性项目(KGCX2-YW-125);北京市科学技术委员会项目(Z08000102000801)
基于Merkle哈希树提出了一种效率高、方式灵活并能保护平台隐私的远程验证机制.针对特定的目标应用场景,分析IMA(integrity measurement architecture)体系架构的不足,详细描述基于Merkle哈希树的远程验证机制的体系架构和度量验证过程...
关键词：可信计算 远程验证 Merkle哈希树 隐私保护 验证效率 
基于虚拟机执行过程重放的热迁移系统研究被引量：4
《计算机工程与设计》2010年第19期4213-4217,共5页胡晓昌 丁丽萍 武延军 
国家自然科学基金项目(90818012);中国科学院知识创新工程重要方向基金项目(KGCX2-YW-125);北京市科委基金项目(Z08000102000801)
为解决传统的基于检查点和内存预拷贝的系统热迁移在一些特定环境下存在停机时间过长的问题,提出了一种基于虚拟机执行过程迭代重放的备份热迁移方案,并对迁移过程中的开销较大的检查点设置操作进行了优化。与传统迁移方法进行量化比较...
关键词：热迁移 虚拟机 系统容错 高可用 事件重放 
基于属性的远程证明的隐私性分析被引量：8
《通信学报》2009年第S2期146-152,共7页李尚杰 贺也平 刘冬梅 袁春阳 
国家自然科学基金资助项目(90818012);中国科学院知识创新工程重要方向项目(KGCXZ-YW-125)~~
远程证明技术就是分布式或者网络平台上建立信任的重要技术。建立在可信计算之上的可信证明方案更是可信计算TCG的提出的可信计算技术的关键部分。远程证明过程除了建立起交互双方的信任关系外,保护参与方的隐私是远程证明被广泛接受的...
关键词：可信计算 远程证明 基于属性的证明 配置隐私 隐私分析 
解决度量-验证时间差的一种差值证明方法被引量：2
《通信学报》2009年第S1期43-50,共8页张谦 贺也平 孟策 
国家自然科学基金资助项目(90818012);中国科学院重大方向性项目(KGCX2-YW-125);北京科学技术委员会基金资助项目(Z08000102000801)~~
度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟域中的虚拟环境证明提出一种方法在原有的加载时度量的基础上...
关键词：度量-验证时间差问题 卸载时度量 Merkle散列树 可信虚拟域 差值证明方法 
基于静态分析的强制访问控制框架的正确性验证被引量：4
《计算机学报》2009年第4期730-739,共10页吴新松 周洲仪 贺也平 梁洪亮 袁春阳 
国家自然科学基金(90818012);国家“八六三”高技术研究发展计划项目基金(2007AA010601);中国科学院重要方向项目(KGCX2-YW-125)资助~~
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问控制框架的正确性验证问题进行了研究,在授权钩子放置验证的基础上,提出了安全标记的完全初始化验证和完...
关键词：正确性验证 静态分析 强制访问控制框架 钩子放置 mygcc 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部