可信系统信任链研究综述

信任链是实施可信系统的关键技术之一,本文从信任链理论和应用系统出发,介绍了研究信任链理论的典型模型及近年来的研究进展,包括基于无干扰理论的信任链传递模型和基于组合安全理论的信任链模型,详细阐述了这两种信任链理论模型的优势和不足.介绍了基于静态信任根和动态信任根的信任链应用系统的研究状况,介绍了信任链远程证明技术,介绍了云计算环境下的信任链应用系统,对信任链应用系统存在的安全缺陷以及一致性和安全性测评方法进行了分析论述,并展望了该领域未来的发展趋势.     

可信计算技术在嵌入式操作系统中的应用

针对通用可信计算技术难以直接满足嵌入式操作系统实时性要求的问题,通过对现有可信计算信任链进行裁剪,提出了一种基于完整性度量证书的信任链结构,在嵌入式操作系统内核中构造了嵌入式实时可信平台模块和可信软件栈.实验表明,嵌入式可信平台模块的平均命令执行时间节省了65.81%,嵌入式系统中的应用程序可实现密封存储、远程证明和完整性度量等可信计算功能,研究方案在总体上能够满足嵌入式系统的实时性和安全性要求.     

某型叉车门架中横梁力学性能与结构优化研究

针对某型叉车起升机构中横梁弯角频繁出现的断裂现象进行了理论与数值分析,并对失效部位进行了试验检测。通过比较发现,数值分析与试验测试结果一致,即安全系数偏低,接近于1.0。然后,进一步数值分析了中横梁的基本尺寸参数(厚度b、高度h、弯角半径R)对横梁强度性能的影响。结果表明:厚度b是影响强度的最主要因素;弯角半径R对强度有较大影响;而高度h对结构强度影响较小。基于此,对中横梁结构尺寸进行了优化,最优化结构的应力大幅降至125MPa,较现有结构降低了约91MPa,安全系数显著提升至1.7左右,而结构质量基本不变,较好地解决了这类叉车门架横梁的失效问题,对类似的工程机械的设计研究和生产使用具有指导和借鉴意义。     

授权约束下的平台配置证明研究

针对完整性报告协议中平台配置证明存在的安全问题,本文提出了一种基于授权策略的平台配置证明过程,在协议应答者与平台配置证明信息之间建立授权约束,解决应答者提交平台配置信息前存在的篡改攻击,以及提交平台配置信息后存在的中间人攻击.增强后的协议保持对应性属性,可有效解决平台配置证明存在的全局攻击和局部攻击问题,提高完整性报告协议的安全性.