刘虎球
所属机构: 清华大学 所在地区: 北京市 研究方向: 自动化与计算机技术 发文基金: 国家高技术研究发展计划
相关作者
胡事民 作品数:385 被引量:772 H指数:15 供职机构:清华大学 研究主题:图像 视频 像素 CAD 操作系统 白家驹 作品数:34 被引量:6 H指数:2 供职机构:清华大学 研究主题:中间代码 驱动程序 操作系统 电子设备 源代码 马超 作品数:68 被引量:23 H指数:4 供职机构:清华大学 研究主题:操作系统 硬件设备 控制流 可靠性 安全需求 王瑀屏 作品数:40 被引量:27 H指数:2 供职机构:清华大学 研究主题:三维模型 内核 缓冲区 磁盘 内存 赵鹏 作品数:98 被引量:217 H指数:9 供职机构:清华大学 研究主题:内存 写操作 多核 操作系统 网络数据包
基于日志注入的驱动配置调试方法 本发明公开了一种基于日志注入的驱动配置调试方法,包括:S1.提取驱动的设备寄存器的配置规范文档;S2.按照所述配置规范文档对驱动进行检测钩子注入;S3.在检测钩子位置添加相关类型的日志函数;S4.运行修改后的驱动,运行时... 胡事民 刘虎球 白家驹 马超文献传递 一种编译脚本自动生成方法和自动生成装置 本发明提出一种编译脚本自动生成方法及装置,其中该方法包括:根据用户修改项,生成源代码对应的顶层编译脚本;利用语法分析器,检查并识别出源文件中包含的头文件;向头文件所在的目录添加子编译脚本;向头文件的父目录逐级添加编译脚本... 胡事民 刘虎球文献传递 用于源代码配对的静态检查方法及装置 本发明提出一种用于源代码配对的静态检查方法及装置,其中本发明的方法包括以下步骤:对所述源代码进行词法分析,将所述源代码中的注释滤除,并将所述源代码拆分成若干个记号流;对所述记号流进行语法分析以构造语法树;对所述语法树进行... 胡事民 刘虎球文献传递 基于访问规则控制的内核扩展模块错误检测方法及装置 本发明涉及计算机安全防范技术领域,具体涉及一种基于访问规则控制的内核扩展模块错误检测方法及装置;该错误检测方法包括步骤:S1.为内核扩展模块设定内核函数使用规则;S2.分析所述使用规则与内核扩展模块之间的依赖关系并根据所... 胡事民 刘虎球 马超文献传递 日志分离方法及装置 本发明公开了一种日志分离方法及装置,该日志分离方法,包括:获取混合的日志信息;获取日志分类规则;根据所述分类规则从所述混合的日志信息中提取出用户日志信息和开发日志信息。本发明实施例的日志分离方法及装置,获取混合的日志信息... 胡事民 刘虎球不可信嵌入式平台下的安全传输方案 被引量:1 2016年 为便捷地实现互联互通,越来越多的设备和系统接入互联网,但同时带来了越来越严重的安全隐患。针对不可信嵌入式平台,设计了1套安全传输方案。该方案限制终端网卡的行为,通过一系列认证协议,使其仅能够与事先指定的服务器进行通信,不受攻击者控制。为实现这一方案,设计实现了一款加密网卡。结合了嵌入式网卡和加密网卡的特点,并通过硬件方式进行配置。实验表明,基于这款加密网卡,能够实现终端与服务器间的加密通信,并能够防御监听和冒充攻击,达到了安全传输的设计目标。 谢学智 刘虎球 白家驹 王瑀屏关键词:网络安全 一种新型内核扩展安全访问方法 内核扩展的安全性对操作系统的稳定运行具有重要意义.内核扩展在为驱动开发提供了便捷的同时,但也带来了重大安全隐惠.本文设计了一个新型内核扩展安全访问(Security Access to Kernel Extension,... 刘虎球 马超 白家驹关键词:操作系统 文献传递 面向驱动配置的自动日志插入方法研究 被引量:2 2013年 驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时容易发生驱动配置错误,而该类错误尚无法通过现有的方法直接进行定位和解决.文中设计并实现了AiLsDc(Automatically inserting Log system for Driver configuration)自动日志插入辅助检错系统,能够根据参数配置规范文档中的规则进行驱动配置检查.AiLsDc首先按照定义的驱动配置规范规格XML文档对驱动源码进行插装和修改,运行时动态检查驱动的配置是否满足配置规范文档的要求.当出现参数违例时,日志记录模块将会自动记录可能引起该违例的错误原因和错误位置.通过对比和检查日志,能够在出错时快速定位从而辅助纠错,提高开发效率.实用性评测表明,系统能够捕获配置异常,而性能评测结果表明,AiLsDc系统在提高驱动的可靠性的同时,带来的开销很小. 刘虎球 马超 白家驹关键词:操作系统 可靠性 基于日志注入的驱动配置调试方法 本发明公开了一种基于日志注入的驱动配置调试方法,包括:S1.提取驱动的设备寄存器的配置规范文档;S2.按照所述配置规范文档对驱动进行检测钩子注入;S3.在检测钩子位置添加相关类型的日志函数;S4.运行修改后的驱动,运行时... 胡事民 刘虎球 白家驹 马超文献传递 用于源代码配对的静态检查方法及装置 本发明提出一种用于源代码配对的静态检查方法及装置,其中本发明的方法包括以下步骤:对所述源代码进行词法分析,将所述源代码中的注释滤除,并将所述源代码拆分成若干个记号流;对所述记号流进行语法分析以构造语法树;对所述语法树进行... 胡事民 刘虎球文献传递