可信计算发展综述
熊光泽 常政威 桑楠
电子科技大学 电子科技大学
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]
周国强 丁成成 张卫丰 张迎周. 显式和隐式质量属性分离的可信服务质量评估模型 [J]. 计算机应用, 2014, 34(3): 704-709.
[2]
翁晓康 张平 王炜 朱毅. 基于非平衡哈希树的平台完整性远程验证机制 [J]. 计算机应用, 2014, 34(2): 433-437.
[3]
何龙 彭新光. 基于双线性对签密的安全高效远程证明协议 [J]. 计算机应用, 2013, 33(10): 2854-2857.
[4]
朱贺新 王正鹏 刘业辉 方水平. 基于统一可扩展固件接口的可信密码模块驱动研究与设计 [J]. 计算机应用, 2013, 33(06): 1646-1649.
[5]
邵婧 陈性元 杜学绘 曹利峰. 基于无干扰理论的分布式多级安全核心架构 [J]. 计算机应用, 2013, 33(03): 712-716.
[6]
姚建华 吴加敏 牛温佳 童恩栋. 基于可信QoS聚类的遥感服务发现机制 [J]. 计算机应用, 2013, 33(02): 587-591.
[7]
莫家庆 胡忠望 叶雪琳. 基于模糊理论的可信计算信任评估方法研究 [J]. 计算机应用, 2013, 33(01): 142-145.
[8]
付东来 彭新光 陈够喜 杨秋翔. 动态Huffman树平台配置远程证明方案 [J]. 计算机应用, 2012, 32(08): 2275-2282.
[9]
辛思远 赵勇 廖建华 王婷. 操作系统内核的动态可信度量模型 [J]. 计算机应用, 2012, 32(04): 953-956.
[10]
秦晰 高丽 常朝稳 韩培胜. 移动可信接入轻量级认证与评估协议 [J]. 计算机应用, 2012, 32(01): 30-34.
[11]
闫建红 彭新光. 度量行为信息基的可信认证 [J]. 计算机应用, 2012, 32(01): 56-59.
[12]
孙丽娜 常桂然 王兴伟. 无线网络下可信移动节点接入认证方案 [J]. 计算机应用, 2011, 31(11): 2950-2953.
[13]
朱昶胜 刘鹏辉 王庆荣 曹来成. 适合可信计算环境基于口令的双向匿名认证密钥协商协议 [J]. 计算机应用, 2011, 31(07): 1862-1867.
[14]
徐钦桂 刘桂雄 高富荣. 面向测量应用的软件保护模型 [J]. 计算机应用, 2011, 31(04): 970-974.
[15]
王丹 周涛 武毅 赵文兵. 基于贝叶斯网络的可信平台控制模块风险评估模型 [J]. 计算机应用, 2011, 31(03): 767-770.