教育部重点实验室开放基金(AISTC200801)
- 作品数：1 被引量：14H指数：1
- 相关作者：何凡严飞徐明迪杨飏张焕国更多>>
- 相关机构：教育部武汉大学更多>>
- 发文基金：教育部重点实验室开放基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 可信计算平台测评理论与关键技术研究被引量：14
- 2010年
- 可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.
- 张焕国严飞傅建明徐明迪杨飏何凡詹静
- 关键词：信息安全可信计算可信计算平台
