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

Industry Trends and Research in Dependable Computing

可信计算实验研究已经进行了30多年,特别是在航空、航天、金融、证券、交通等安全关键领域取得了令人瞩目的成就.为了从数量和质量两方面综述可信计算的发展和进一步推动可信计算的研究,文中分析了可信计算的产业趋势,包括:(1)差错源的变化;(2)复杂性的迅速增加;(3)计算设备总量的增加.针对每一种趋势,指出了那些可以应用于终端产品或实验性产品以及生产这些产品过程的研究技术.文中的研究给出一个框架,既能反映可信计算过去的研究情况,也指明了今后的研究需求.

Experimental research in dependable computing has evolved over the past 30 Years. To understand the magnitude and nature of this evolution, this paper analyzes industrial trends, namely. （1） Shifting Error Sources, （2） Explosive Complexity, and （3） Global Volume. Under each of these trends, the paper explores research technologies that are applicable either to the fin- ished product or artifact, and the processes that are used to produce products. The study gives a framework to not only reflect on the research of the past, but also project the needs of the future.