黄强
- 作品数:10 被引量:82H指数:4
- 供职机构:中国人民解放军海军计算技术研究所更多>>
- 发文基金:国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术轻工技术与工程更多>>
- 操作系统可信增强框架研究与实现被引量:7
- 2007年
- 操作系统安全增强技术是解决系统安全问题的有效手段,但无法保证系统基础可信。文章从分析可信和安全关系入手,提出可信增强概念。设计了操作系统可信增强框架,将可信机制和安全功能有机结合进安全体系结构设计中,并对实施和应用进行了研究。
- 陈幼雷黄强沈昌祥
- 分布式实时计算环境下安全任务调度技术研究被引量:4
- 2011年
- 当前许多面向分布式计算环境的应用对实时系统提出了安全要求,研究安全的实时任务调度算法成为当前的研究热点。文章分析了当前公开文献中各种实时调度算法的缺陷,针对现有算法的不足,提出了一种适用于分布式实时任务的安全调度算法,该算法以提高实时任务的安全性和可调度性为目标,一方面按照任务的不同安全需求为其提供不同级别的安全服务,另一方面采用启发式实时调度技术,在多个处理机上有效分配并运行实时任务。仿真实验的结果表明,文章所提出的算法相对于其他算法而言,在不降低任务可调度性的前提下,有效提高了实时任务的安全性。
- 骆万文夏平涂航黄强
- 关键词:分布式计算实时任务调度
- 可信计算平台安全管理系统及安全管理方法
- 一种可信计算平台安全管理系统及安全管理方法,包括可信密码模块、安全管理中心模块、安全管理代理模块和安全策略管理协议模块;安全管理中心模块和可信密码模块间的安全策略管理协议模块基于可信密码模块实现,保证安全管理策略传输的安...
- 郑志蓉沈昌祥金刚蔡谊刘毅傅子奇涂航黄强汪晓睿
- 文献传递
- 基于可信计算的保密和完整性统一安全策略被引量:35
- 2006年
- 为解决在高安全等级操作系统应用的保密性/完整性统一多级访问控制模型可用性差问题及增强其安全性,为系统引入可信计算(TCPA)技术并指出它对安全机制的增强作用。对可信计算平台环境下保密性/完整性统一的访问控制模型中可信主体的特性进行描述,给出具体安全策略。它将可信主体纳入访问控制模型,有助于划分可信主体并能够限制其权限。
- 黄强沈昌祥陈幼雷方艳湘
- 关键词:可信计算BLP模型BIBA模型
- 一种基于无干扰模型的信任链传递分析方法被引量:33
- 2010年
- 基于可信计算组织(TCG)的完整性度量只能保证组件没有被篡改,但不一定能保证系统运行可信性.其问题在于,当组件运行时,受其它组件的干扰,出现非预期的信息流,破坏了信任链传递的有效性.文章在分析可信计算平台的信任模型基础上,基于无干扰理论模型,提出了一种分析和判定可信计算平台信任链传递的方法,用形式化的方法证明了当符合非传递无干扰安全策略时,组件之间的信息流受到安全策略的限制,隔离了组件之间的干扰,这样用完整性度量方法所建立的信任链才是有效的.
- 张兴黄强沈昌祥
- 关键词:可信计算
- 可信计算平台安全管理系统及安全管理方法
- 一种可信计算平台安全管理系统及安全管理方法,包括可信密码模块、安全管理中心模块、安全管理代理模块和安全策略管理协议模块;安全管理中心模块和可信密码模块间的安全策略管理协议模块基于可信密码模块实现,保证安全管理策略传输的安...
- 郑志蓉沈昌祥金刚蔡谊刘毅傅子奇涂航黄强汪晓睿
- Building dynamic root of trust with virtual trusted cipher module for cloud computing
- Cloud computing infrastructure is built with a rapidly increasing speed as well as people are more and more co...
- 黄强
- 一种可信计算平台的信任链传递方法
- 一种可信计算平台的信任链传递方法,由TCM作为信任链启动的起点首先启动并主动完成初始对BIOS芯片的可信性验证;在可信BIOS芯片启动后由其MAIN BLOCK对MBR、操作系统装载器、操作系统内核关键文件集中进行完整性...
- 黄强沈昌祥金刚蔡谊郑志蓉刘毅傅子奇涂航罗云锋
- 文献传递
- 可信计算技术对操作系统的安全服务支持被引量:3
- 2004年
- 研究安全操作系统利用可信计算技术提供对信息保密性及完整性保护的方案.依据TCG(可信计算组织)提出的规范,对其核心部分TPM(可信计算模块)在高安全等级操作系统中的安全服务级支持做原理描述.基于规范中提出的密封存储技术。结合操作系统的安全需求和实现环境。提出利用TPM对安全操作系统应用层提供安全支撑的初步可行方案,并提出依此实施DTE安全策略的方法,显示了此方案的灵活与多样性.
- 黄强沈昌祥
- 关键词:安全操作系统可信计算
- 可信计算技术对操作系统的安全服务支持
- 研究安全操作系统利用可信计算技术提供对信息保密性及完整性保护的方案.依据TCG(可信计算组织)提出的规范,对其核心部分TPM(可信计算模块)在高安全等级操作系统中的安全服务级支持做原理描述.基于规范中提出的密封存储技术,...
- 黄强沈昌祥
- 关键词:安全操作系统可信计算
- 文献传递