由中國(guó)計(jì)算機(jī)學(xué)會(huì)主辦的全國(guó)可信計(jì)算學(xué)術(shù)會(huì)議（CDC）已成為國(guó)內(nèi)可信計(jì)算研究領(lǐng)域重要的學(xué)術(shù)活動(dòng)。至今，CDC先后在哈爾濱工業(yè)大學(xué)（CDC2000、CDC2006）、重慶大學(xué)（CDC2008）、三峽大學(xué)（CDC2010）等地成功舉辦。

第五屆全國(guó)可信計(jì)算學(xué)術(shù)會(huì)議（CDC2015）擬于2015年10月9日至10月11日在浙江省金華市舉行，由容錯(cuò)計(jì)算專業(yè)委員會(huì)和浙江師范大學(xué)數(shù)理與信息工程學(xué)院承辦。本次會(huì)議將為可信計(jì)算及相關(guān)領(lǐng)域的研究學(xué)者提供一個(gè)交流合作平臺(tái)，以開展廣泛的學(xué)術(shù)活動(dòng)、展示最新的研究成果，會(huì)議將邀請(qǐng)國(guó)內(nèi)外可信計(jì)算領(lǐng)域的著名學(xué)者做特邀和大會(huì)報(bào)告。

可信計(jì)算學(xué)

會(huì)議主題

可信計(jì)算技術(shù)的發(fā)展要從容錯(cuò)計(jì)算說起。容錯(cuò)計(jì)算的研究與發(fā)展應(yīng)該以1971年召開第一屆國(guó)際容錯(cuò)計(jì)算會(huì)議（FTCS-1）為起點(diǎn)。“容錯(cuò)”當(dāng)然不是指“容易錯(cuò)”，而是指“容許錯(cuò)”，更確切些說應(yīng)該是“容許故障”。從1975年開始，商業(yè)化的容錯(cuò)機(jī)推向市場(chǎng)。到九十年代，軟件容錯(cuò)的問題被提了出來。進(jìn)而發(fā)展到網(wǎng)絡(luò)容錯(cuò)。1995年在FTCS-15上，IEEE Fellow， A.Avizienis 教授等人提出了可信計(jì)算（Dependable Computing）的概念。

2000年12月美國(guó)卡內(nèi)基梅隆大學(xué)(CMU)與美國(guó)國(guó)家宇航總署(NASA)的Ames研究中心牽頭成立了高可信計(jì)算聯(lián)盟，十幾家大公司和著名大學(xué)參加了該聯(lián)盟。2002年1月比爾蓋茨提出可信計(jì)算(Trustworthy Computing)的概念，用通訊方式送給微軟所有員工?，F(xiàn)在，微軟、英特爾、和有190家公司參加的可信計(jì)算平臺(tái)聯(lián)盟(TCPA)都在致力于數(shù)據(jù)安全的可信計(jì)算，包括研制密碼芯片、特殊的CPU、或母板，或操作系統(tǒng)安全內(nèi)核。

“可信計(jì)算”一詞，現(xiàn)在用得相當(dāng)普遍。因?yàn)閺淖置嫔峡词呛苷T人的。但含義有差別。有人叫Trusted Computing, Trustworthy Computing, 也有人叫Dependable Computing。公司在他的某一批產(chǎn)品中，加入了某些提高系統(tǒng)可靠性、可用性和安全性的措施，他可以說“我這是一個(gè)可信的產(chǎn)品”。但是，學(xué)術(shù)界把可信計(jì)算（Dependable Computing）定義為“系統(tǒng)提供可信賴的計(jì)算服務(wù)的能力，而這種可信賴性是可以驗(yàn)證的”。

這就是說，你必須用某種方法來驗(yàn)證你的系統(tǒng)是可信賴的。這就困難了。我們知道，法律對(duì)于人有所謂“無罪認(rèn)定原則”，就是說，除非有證據(jù)證明某人有罪，否則他就是無罪的。而對(duì)于可信系統(tǒng)，我們執(zhí)行的是“有錯(cuò)認(rèn)定原則”。那就是說，用戶可以對(duì)系統(tǒng)設(shè)計(jì)者和制造者說，除非你有足夠的證據(jù)證明你的系統(tǒng)是可信的，否則我就認(rèn)為你的系統(tǒng)是不可信的。例如，對(duì)于一個(gè)軟件，如果開發(fā)者沒有足夠的理由說明它是正確的，用戶就認(rèn)為它是有錯(cuò)誤的。這個(gè)要求對(duì)系統(tǒng)設(shè)計(jì)者和制造者來說，是個(gè)難題。需要可信計(jì)算技術(shù)來提供。而且，可信性必須成為可以衡量和驗(yàn)證的性能。

在可信計(jì)算領(lǐng)域，頻繁地使用故障、差錯(cuò)和失效這些詞。失效是指系統(tǒng)違反規(guī)定行為的一種變態(tài)，除非更換部件、進(jìn)行修理，無法使之正常工作。故障是硬件物理缺陷的抽象表示或軟件設(shè)計(jì)中的錯(cuò)誤，使系統(tǒng)不能正常工作。差錯(cuò)是由一個(gè)有故障的系統(tǒng)所產(chǎn)生的錯(cuò)誤輸出。所以，最低層的故障(fault),引起數(shù)據(jù)輸出的差錯(cuò)(error),導(dǎo)致系統(tǒng)最后的失效(failure)。

所有系統(tǒng)失效，從技術(shù)角度講，都是由系統(tǒng)中的故障引起的。可信計(jì)算技術(shù)就是要提供各種技術(shù)手段來減少系統(tǒng)失效，提高系統(tǒng)可信性。?

會(huì)議時(shí)間：2015年10月9-11日

會(huì)議地址：浙江師范大學(xué)

主辦方：中國(guó)計(jì)算機(jī)學(xué)會(huì)

注冊(cè)費(fèi)標(biāo)準(zhǔn)

說明：

?注冊(cè)費(fèi)包括：10月9日-11日的中、晚餐（含一次宴會(huì)）、進(jìn)入會(huì)場(chǎng)的權(quán)利、會(huì)議資料及禮品、茶歇和合影留念等，但不包括會(huì)后旅游考察；陪同人員的注冊(cè)費(fèi)只包括10月9日-11日的中、晚餐。

?