基于无干扰理论的可信链模型

• 作者: 刘吉强 沈昌祥 赵佳 韩臻
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 可信计算 可信计算平台 可信链 无干扰理论 可信根
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 可信计算
• 页码范围: 974-980
• 页数: 7页
• 分类号: TP309
• 字数: 5461字
• 语种: 中文

摘要

可信计算的相关研究已成为当前国内外信息安全方面的研究热点和趋势之一,可信计算技术也成为构建安全计算机系统行之有效的新技术.目前可信计算理论的发展滞后于技术的发展,针对可信计算中可信链传递缺乏理论模型的问题,将无干扰理论引入到可信计算领域,提出了计算机系统可信的基本理论,从动态的角度建立了基于无干扰理论的可信链模型,并对该模型进行了形式化描述和验证,而且实现了基于Linux操作系统内核的可信启动过程.其实现思路对于可信计算理论的发展和应用具有很好的参考价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥	北京交通大学计算机与信息技术学院	37	641	13.0	24.0
3	韩臻	北京交通大学计算机与信息技术学院	108	966	17.0	26.0
4	赵佳	北京交通大学计算机与信息技术学院	29	233	8.0	14.0
5	刘吉强	北京交通大学计算机与信息技术学院	66	535	13.0	21.0