基于系统行为的计算平台可信证明

• 作者: 左晓栋 李晓勇 沈昌祥
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 可信计算 系统行为 可信证明 恶意软件
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 1234-1239
• 页数: 6页
• 分类号: TP309+.2
• 字数: 6283字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2007.07.004

摘要

计算平台可信证明是可信计算研究的热点问题.但是目前一些计算平台可信证明方案存在隐私保护和可行性等方面的缺陷.基于系统行为的计算平台可信证明模型(BTAM)在可信计算环境下,根据可信行为期望策略,将平台状态证明转化为对平台历史行为序列的可信证明,有效地避免了在准确描述计算平台状态方面的难题,保证了模型实现的可行性和可扩展性,并且不会暴露证明平台的配置信息.BTAM的原型实现和实验性能分析证明了它在防范诸如计算机病毒、木马类恶意软件攻击以及避免安全策略冲突行为等方面的安全能力,以及良好的实际安全运行效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥		37	641	13.0	24.0
2	李晓勇		28	316	9.0	17.0
3	左晓栋		13	212	6.0	13.0