会议介绍
特邀报告人：杨孝宗 教授
杨孝宗，教授,博士导师,哈尔滨工业大学计算机学院计算机科学研究所所长,可穿戴计算机工程研究中心主任,中国计算机学会容错计算专业委员会资深委员,容错系统结构学组组长,中国计算机学会,可穿戴计算学组组长,中国计算机学会,可穿戴计算学组组长.主要研究方向：计算机系统结构、容错计算技术，故障注入技术，移动计算技术，可穿戴计算技术，分布式计算技术，可信计算技术等，曾负责并完成过多项省部级以上的科研项目，其中负责完成了"神舟"号飞船数据管理分系统容错计算机样机系统设计和研制。并获部、委一、二、三等奖多次，著书二部，国内外重要刊物上发表文章近百篇，已培养出博士生20名，曾任国内外学术会议主席,程序主席,分会主席多次。
特邀报告人：胡雷钧 浪潮集团CTO
胡雷钧，国务院特殊津贴专家，信息产业科技创新先进工作者，山东省有突出贡献中青年专家，现任高效能服务器与存储技术国家重点实验室副主任兼浪潮集团服务器技术总监，浪潮集团博士后工作站博士后导师，中国计算机学会高级会员。他设计构造国产第一代商用高性能服务器系统，打破IBM此前保持的TPC-H商业智能数据库性能测试单系统100G级别性能指标世界记录及HP创造的1,574 TOPS的商用事务处理（SPEC）世界纪录。2002年开发研制的天梭20000高端商用服务器系统，打破TPC-H和SPEC两项性能测试世界纪录，取得14项发明专利，成功入选国家重点新产品。2005年研制开发出天梭30000高端商用服务器系统，再次打破SPEC性能测试世界纪录，并通过7项国际认证测试，取得40多项发明专利，入选国家重点新产品（30万奖励），2009年荣获国家科技进步二等奖。2009年承担“十一五”863重大项目“浪潮天梭高端容错计算系统研制”课题，并担任科技部863高端容错项目总体专家组副组长。
特邀报告人：崔利荣 教授
崔利荣，北京理工大学管理与经济学院教授、IEEE Transactions on Reliability（SCI期刊）副主编，Communications in Statistics（SCI期刊）副主编，Quality Technology & Quantitative Management（SCI期刊）副主编。1983年毕业于天津工业大学（获工学学士学位），1986年毕业于中国科学院系统科学研究所（获理学硕士学位），1994年在英国威尔士大学（Swansea）获得博士学位。曾于1986年至1999年工作于中国航天工业部，2000年工作于新加坡国立大学，2003年至今，就职于北京理工大学管理与经济学院。曾在英国、台湾作为访问学者。任多个学术组织的常务理事、理事、分会主任、分会副主任。自1999年以来，已发表SCI检索论文60多篇，英文专著1部。2005年被评为教育部新世纪优秀人才。
特邀报告人：黄宁 教授
黄宁，北京航空航天大学可靠性与系统工程学院工程系教授，中国计算机学会高级会员，IEEE会员。1997年于北京航空航天大学计算机学院获计算机软件博士学位，同年留任北航计算机学院。2008年调入北航工程系统工程系。工作期间，于2000年获思达奖教金一等奖；2001年获西飞奖教金二等奖；2003年北航计算机学院杰出科研工作奖，2005年计算机学院中青年教师讲课比赛一等奖。2006年8月-2007年8月美国伊利诺大学香槟分校（UIUC）计算机系形式化方法和系统实验室访问学者。2007年11月获北航教学成果二等奖和北航优秀研究生指导教师证书。截至2008年，指导了二十多名研究生，其中已获硕士学位的研究生二十人（一人获校优秀硕士论文）。在国内外期刊和会议上发表学术论文四十多篇，其中二十多篇被SCI、EI和ISTP三大检索工具检索。研究内容：主要研究方向为网络可靠性、软件测试及软件可靠性。先后主持和参加荣宏国际基金，国家自然基金，863，国防十五和十一五预研及重点项目，国防预研基金，和航空基金等科研，及多个企业合作课题近二十项。
特邀报告人：李光辉 教授
李光辉，博士，江南大学教授。主要从事容错计算、无线传感器网络、集成电路设计验证与测试、无损检测技术等领域的教学与科研。已在《Sensors》、《Journal of Computer Science and Technology》、《计算机学报》、《计算机研究与发展》等国内外著名刊物或国际学术会议上发表论文50多篇。主持承担国家863计划、国家自然科学基金重大研究计划、国家自然科学基金面上项目、浙江省自然科学基金、浙江省科技厅等项目多项。主编21世纪规划教材1部、浙江省重点教材1部，参编专著2部。获得授权国家发明专利3项和计算机软件著作权3项。荣获2004年度中国科学院院长奖学金优秀奖，获省部级科研成果奖3项、省高校科研成果二等奖1项。现担任中国计算机学会容错计算专委会常务委员、传感器网络专委会委员、普适计算专委会委员，中国自动化学会系统仿真专委会委员，浙江省计算机应用与教育学会物联网委员会副主任。
【会议门票】注册费标准
|
代表类型
|
收费标准
|
|
学生
|
800元/人
|
|
会员
|
800元/人
|
|
其他
|
1000元/人
|
|
陪同人员
|
400元/人
|
说明：
注册费包括：10月9日-11日的中、晚餐（含一次宴会）、进入会场的权利、会议资料及礼品、茶歇和合影留念等，但不包括会后旅游考察；陪同人员的注册费只包括10月9日-11日的中、晚餐。
【会议通知】
由中国计算机学会主办的全国可信计算学术会议（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日
会议地址：浙江师范大学
主办方：中国计算机学会
