可信计算发展综述

被引：59

作者：

熊光泽

常政威

桑楠

机构：

[1] 电子科技大学计算机科学与工程学院

来源：

计算机应用 | 2009年 / 29卷 / 04期

关键词：

可信性; 可信计算; 安全关键系统; 多级高可信保障;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081206 [计算机网络与安全];

摘要：

可信计算是当前计算机科学的一个研究热点,对可信计算的发展进行了综述。阐述了可信性的起源与内涵,总结了可信计算领域的国内外研究进展。针对安全关键系统,着重介绍了各种高可信保障技术。最后,探讨了可信计算的发展趋势。

引用

页码：915 / 919+931 +931

页数：6

共 24 条

[1]

面向新一代航空电子的实时自适应资源管理中间件及算法研究 [D].

廖勇 .

电子科技大学,

2006

[2]

安全中间件系统关键技术研究 [D].

向生建 .

电子科技大学,

2006

[3]

高可信软件可靠性和防危性测试与评价理论研究 [D].

覃志东 .

电子科技大学,

2005

[4]

分布式任务关键实时系统的防危（Safety）技术研究 [D].

杨仕平 .

电子科技大学,

2004

[5]

实时宽带现场网络技术研究 [D].

陈慧 .

电子科技大学,

2004

[6]

分布式控制系统中新安全保障技术的研究——安全核技术 [D].

黎忠文 .

电子科技大学,

2001

[7]

可信计算系统设计和分析.[M].徐拾义; 编著.清华大学出版社.2006,

[8]

可信中间件——技术现状和发展 [J].

李琪林 ;

周明天 .

计算机科学, 2008, (06) :15-19

[9]

“可信软件基础研究”重大研究计划综述 [J].

刘克 ;

单志广 ;

王戟 ;

何积丰 ;

张兆田 ;

秦玉文 .

中国科学基金, 2008, (03) :145-151

[10]

可信计算的产业趋势和研究(英文) [J].

SIEWIOREK Daniel P ;

杨孝宗 ;

CHILLAREGE Ram ;

KALBARCZYK Zbigniew T .

计算机学报, 2007, (10) :1645-1661

← 1 2 3 →