可信计算发展综述
熊光泽 常政威 桑楠
电子科技大学 电子科技大学
Survey on dependable computing
Guang-ze XIONG Zheng-wei CHANG Nan SANG
摘要 可信计算是当前计算机科学的一个研究热点，对可信计算的发展进行了综述。阐述了可信性的起源与内涵，总结了可信计算领域的国内外研究进展。针对安全关键系统，着重介绍了各种高可信保障技术。最后，探讨了可信计算的发展趋势。
关键词 ：
可信性 ,
可信计算 ,
安全关键系统 ,
多级高可信保障
Abstract ：This paper surveyed the development of dependable computing. The basic concepts of dependability were explained, and current research works of dependable computing were introduced. High dependability safeguard techniques for safety-critical systems were proposed. Some future research directions of dependable computing were presented.
Key words ：
dependability
dependable computing
safety-critical system
multi-level high dependability safeguard
收稿日期: 2008-10-06
通讯作者:
熊光泽
E-mail: gzxiong@uestc.edu.cn
[1]
周国强 丁成成 张卫丰 张迎周. 显式和隐式质量属性分离的可信服务质量评估模型
[2]
翁晓康 张平 王炜 朱毅. 基于非平衡哈希树的平台完整性远程验证机制
[3]
何龙 彭新光. 基于双线性对签密的安全高效远程证明协议
[4]
朱贺新 王正鹏 刘业辉 方水平. 基于统一可扩展固件接口的可信密码模块驱动研究与设计
[5]
邵婧 陈性元 杜学绘 曹利峰. 基于无干扰理论的分布式多级安全核心架构
[6]
姚建华 吴加敏 牛温佳 童恩栋. 基于可信QoS聚类的遥感服务发现机制
[7]
莫家庆 胡忠望 叶雪琳. 基于模糊理论的可信计算信任评估方法研究
[8]
付东来 彭新光 陈够喜 杨秋翔. 动态Huffman树平台配置远程证明方案
[9]
辛思远 赵勇 廖建华 王婷. 操作系统内核的动态可信度量模型
[10]
秦晰 高丽 常朝稳 韩培胜. 移动可信接入轻量级认证与评估协议
[11]
闫建红 彭新光. 度量行为信息基的可信认证
[12]
孙丽娜 常桂然 王兴伟. 无线网络下可信移动节点接入认证方案
[13]
朱昶胜 刘鹏辉 王庆荣 曹来成. 适合可信计算环境基于口令的双向匿名认证密钥协商协议
[14]
徐钦桂 刘桂雄 高富荣. 面向测量应用的软件保护模型
[15]
王丹 周涛 武毅 赵文兵. 基于贝叶斯网络的可信平台控制模块风险评估模型
