白家驹

作品数:7被引量:6H指数:1
导出分析报告
供职机构:清华大学更多>>
发文主题:中间代码驱动程序操作系统电子设备源代码更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《小型微型计算机系统》《中国科技论文》《计算机学报》更多>>
所获基金:国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-7
视图:
排序:
不可信嵌入式平台下的安全传输方案被引量:1
《中国科技论文》2016年第14期1582-1586,共5页谢学智 刘虎球 白家驹 王瑀屏 
北京高等学校青年英才计划项目(YETP0108)
为便捷地实现互联互通,越来越多的设备和系统接入互联网,但同时带来了越来越严重的安全隐患。针对不可信嵌入式平台,设计了1套安全传输方案。该方案限制终端网卡的行为,通过一系列认证协议,使其仅能够与事先指定的服务器进行通信,不受...
关键词:网络安全 硬件加密网卡 不可信平台 嵌入式网卡 
面向敏感进程的相变内存加密方法
《中国科技论文》2016年第20期2337-2341,共5页刘巍 白家驹 王瑀屏 
清华大学自主科研课题(2014z09102)
相变内存(PCM)由于非易失的特点,其应用受到了安全性问题的挑战。研究人员提出了很多内存加密方法来保护内存中数据的机密性,这些技术主要是对全对内存进行加密,增加了系统性能的开销。本文提出基于敏感进程的相变内存加密方法,采用三...
关键词:计算机系统结构 相变内存 内存加密 敏感进程 
一种内核模块的指针错误隔离方法被引量:1
《小型微型计算机系统》2015年第5期1127-1132,共6页白家驹 刘虎球 王瑀屏 
国家"八六三"高技术研究发展计划项目(2011AA01A203)资助
现代操作系统的驱动程序和文件系统都以内核模块形式出现,而内核模块的操作大多使用指针,因此内核模块中指针使用的可靠性直接决定着操作系统能否长久稳定运行.设计了一种内核模块的指针错误隔离方法(PFI)来有效地阻止指针相关的错误运...
关键词:内核模块 指针 错误隔离 变量标记 数据检测 
一种面向内核接口的顺序依赖规则挖掘与违例检测方法被引量:1
《计算机学报》2015年第5期1007-1019,共13页刘虎球 白家驹 王瑀屏 
国家"八六三"高技术研究发展计划重大课题项目以支撑公众与企业服务为主的网络操作系统研制(2011AA01A203)资助~~
内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽...
关键词:内核扩展函数 规则挖掘 违例检测 顺序依赖规则 
面向驱动配置的自动日志插入方法研究被引量:2
《计算机学报》2013年第10期1982-1992,共11页刘虎球 马超 白家驹 
国家"八六三"高技术研究发展计划项目"以支撑公众与企业服务为主的网络操作系统研制"(2011AA01A203)资助~~
驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时容易发生驱动配置错误,而该类错误尚无法通过现有的方法直接进...
关键词:操作系统 可靠性 驱动配置错误检查 日志注入 
一种新型内核扩展安全访问方法
《小型微型计算机系统》2013年第10期2225-2230,共6页刘虎球 马超 白家驹 
国家"八六三"高技术研究发展计划项目(2011AA01A203)资助
内核扩展的安全性对操作系统的稳定运行具有重要意义.内核扩展在为驱动开发提供了便捷的同时,但也带来了重大安全隐患.本文设计了一个新型内核扩展安全访问(Security Access to Kernel Extension,SAKE)模型系统,该系统通过对驱动模块的...
关键词:内核扩展 操作系统 驱动安全 驱动可靠性 
FPSFI:一种基于LLVM架构的驱动错误隔离机制被引量:2
《小型微型计算机系统》2013年第10期2246-2250,共5页甄凯 白家驹 刘虎球 郭旭峰 
国家"八六三"高技术研究发展计划项目(2011AAO1A203)资助
内核安全维系着应用程序的正常运行,而内核错误却仍被周期性地发现,且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于LLVM编译器基础架构,提出FPSFI驱动错误运行时隔离机制,使驱动错误隔离机制分解为涉敏函数注册、驱...
关键词:操作系统 安全 驱动 软件错误隔离 
检索报告 对象比较 聚类工具 使用帮助 返回顶部