基于动态安全属性保护的可信固件

遵循TCG可信计算的固件通过可信度量和信任传递保证固件模块及OS Loader的完整性。这种可信固件当前实现的缺点在于只保护了系统的静态安全属性,而对动态安全属性保护无能为力。基于此,通过对固件代码和数据的分类研究,对固件代码和数据进行安全分级控制,提出固件动态安全属性保护模型,在EFI/UEFI可信固件的基础上实现动态安全属性的保护。实验证明,该方法简单有效,适合于固件代码尺寸小、启动速度快的要求。

BIOS采样分析系统的设计与实现

通过研究BIOS镜像文件中遵循的SMBIOS规范、EPSON表结构及高端物理内存映射方法,提出一种通用的BIOS镜像文件采样及分析技术手段,建立BIOS镜像文件安全检测模型。实验证明,该方案能对多种厂商的BIOS镜像文件进行采样及格式处理,解决BIOS安全风险分析检测系统中存在的技术难点,为固件层的安全分析提供有效保障。

离线小组保密应用模型及其实现

首先分析了当前个人与网络加密应用的几种模型,通过对供电公司内部保密实际应用需求分析,提出了一种离线小组保密应用模型.该模型中,以小组为单位分配电子文档访问权限,小组是密钥分配的最小单位,小组间允许授权的传递.离线实现小组密钥的分发、传输和更新操作.该模型适用于松散耦合的多部门之间的联合保密应用.采用微软office文档插件技术实现了该模型的一个原型保密系统.