第五届全国可信计算学术会议

由中国计算机学会主办的全国可信计算学术会议（CDC）已成为国内可信计算研究领域重要的学术活动。至今，CDC先后在哈尔滨工业大学（CDC2000、CDC2006）、重庆大学（CDC2008）、三峡大学（CDC2010）等地成功举办。

第五届全国可信计算学术会议（CDC2015）拟于2015年10月9日至10月11日在浙江省金华市举行，由容错计算专业委员会和浙江师范大学数理与信息工程学院承办。本次会议将为可信计算及相关领域的研究学者提供一个交流合作平台，以开展广泛的学术活动、展示最新的研究成果，会议将邀请国内外可信计算领域的著名学者做特邀和大会报告。

可信计算学

会议主题

可信计算技术的发展要从容错计算说起。容错计算的研究与发展应该以1971年召开第一届国际容错计算会议（FTCS-1）为起点。“容错”当然不是指“容易错”，而是指“容许错”，更确切些说应该是“容许故障”。从1975年开始，商业化的容错机推向市场。到九十年代，软件容错的问题被提了出来。进而发展到网络容错。1995年在FTCS-15上，IEEE Fellow， A.Avizienis 教授等人提出了可信计算（Dependable Computing）的概念。

2000年12月美国卡内基梅隆大学(CMU)与美国国家宇航总署(NASA)的Ames研究中心牵头成立了高可信计算联盟，十几家大公司和著名大学参加了该联盟。2002年1月比尔盖茨提出可信计算(Trustworthy Computing)的概念，用通讯方式送给微软所有员工。现在，微软、英特尔、和有190家公司参加的可信计算平台联盟(TCPA)都在致力于数据安全的可信计算，包括研制密码芯片、特殊的CPU、或母板，或操作系统安全内核。

“可信计算”一词，现在用得相当普遍。因为从字面上看是很诱人的。但含义有差别。有人叫Trusted Computing, Trustworthy Computing, 也有人叫Dependable Computing。公司在他的某一批产品中，加入了某些提高系统可靠性、可用性和安全性的措施，他可以说“我这是一个可信的产品”。但是，学术界把可信计算（Dependable Computing）定义为“系统提供可信赖的计算服务的能力，而这种可信赖性是可以验证的”。

这就是说，你必须用某种方法来验证你的系统是可信赖的。这就困难了。我们知道，法律对于人有所谓“无罪认定原则”，就是说，除非有证据证明某人有罪，否则他就是无罪的。而对于可信系统，我们执行的是“有错认定原则”。那就是说，用户可以对系统设计者和制造者说，除非你有足够的证据证明你的系统是可信的，否则我就认为你的系统是不可信的。例如，对于一个软件，如果开发者没有足够的理由说明它是正确的，用户就认为它是有错误的。这个要求对系统设计者和制造者来说，是个难题。需要可信计算技术来提供。而且，可信性必须成为可以衡量和验证的性能。

在可信计算领域，频繁地使用故障、差错和失效这些词。失效是指系统违反规定行为的一种变态，除非更换部件、进行修理，无法使之正常工作。故障是硬件物理缺陷的抽象表示或软件设计中的错误，使系统不能正常工作。差错是由一个有故障的系统所产生的错误输出。所以，最低层的故障(fault),引起数据输出的差错(error),导致系统最后的失效(failure)。

所有系统失效，从技术角度讲，都是由系统中的故障引起的。可信计算技术就是要提供各种技术手段来减少系统失效，提高系统可信性。 

会议时间：2015年10月9-11日

会议地址：浙江师范大学

主办方：中国计算机学会