面向军用可信计算环境的构造及评测试验验证研究

目前可信软件已经成为计算机领域的新潮流，可信计算环境为软件的可信运行提供了重要保障，对构建安全、可靠的军用软件系统有着决定性作用。然而，目前尚没有针对军用可信计算环境构造和评测的理论和验证系统。.本课题将开展面向军用可信计算环境的构造及评测试验验证研究，提出面向军用可信计算环境的构造方法，包括环境可信性综合判定方法，基于内存虚拟化的双重多维隔离保护方法等；提出面向军用可信计算平台测评的形式化分析方法，包括军用可信计算环境的嵌入式程序的安全性分化，军用可信计算环境模块的API安全共性模型等；提出军用可信计算环境的安全性评测方法，包括基于谓词抽象技术的可信环境信任度量体系测试用例约简生成技术等。.本课题的实施在军用可信计算环境构造、测评理论与关键技术方面取得一些突破，并完成验证性实验。使我国在此一领域处于国际领先地位，推动整体信息安全建设，并为下一阶段的集成研究奠定理论与实践基础。