廖建华
- 作品数：7 被引量：9H指数：2
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家科技重大专项国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术环境科学与工程更多>>
- 系统结构化可信保障模型与关键技术研究
- 当前，随着信息化的飞速发展和信息技术的广泛应用，信息系统已成为人类社会不可或缺的重要组成部分。人们在享受信息化带来的巨大利益的同时，也面临着由此带来的不可忽视的安全威胁。重要信息系统受到攻击会直接影响国家利益，甚至威胁到...
- 廖建华
- 关键词：可信计算等级保护安全保障信息系统
- 基于土地利用结构变化的土地退化评价及其驱动机制研究
- 土地退化是由于人类不恰当的土地利用或某些不利自然因素的影响而导致的土地生产能力或其他功能的衰减,并使土地生态系统向简单脆弱方向演化的过程.人类对土地退化的研究可以追溯到19世纪中叶,以后随着土地退化日益严重,对土地退化的...
- 廖建华
- 关键词：土地利用结构特征指标驱动力
- 操作系统内核的动态可信度量模型被引量：1
- 2012年
- 动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改。
- 辛思远赵勇廖建华王婷
- 关键词：可信计算操作系统内核远程证明
- 基于管道的TCB扩展模型被引量：3
- 2010年
- 为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实现不同安全机制之间的统一.通过对TCB扩展模型的安全性分析,进一步说明了模型的科学性和现实可行性.
- 廖建华赵勇沈昌祥
- 关键词：系统安全机制
- 基于管道的TCB扩展模型
- 为解决当前系统环境中应用安全与系统安全互相独立而存在的问题,提出了安全管道和TCB扩展的概念,给出了安全管道的形式化描述,并抽象出一种基于安全管道的TCB扩展模型,说明如何利用TCB扩展构建安全机制间的信息交互机制,以实...
- 廖建华赵勇沈昌祥
- 文献传递
- 基于访问验证的工业控制系统安全保障方法被引量：4
- 2013年
- 为了实时监控系统状态转换过程、及时感知异常执行轨迹和越权功能调用等非法行为,从系统行为和权限控制角度出发,提出一种基于访问验证的安全保障方法,通过明确系统状态转换规则,确保系统在工作过程中状态可信,并通过理论证明和攻击实例分析表明该方法的现实可行性.
- 赵勇廖建华沈昌祥
- 关键词：可信计算
- 基于参数依赖关系检查的测试用例空间约简方法
- 2010年
- 针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.
- 陈亚莎叶清廖建华
- 关键词：软件测试可信软件栈
