結(jié)束語(yǔ)可信=可靠安全

Panel presentation理清思路搞可信計(jì)算 閔應(yīng)驊 Fellow of IEEE 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 CFC2010 長(zhǎng)沙，2010/6/18 IT產(chǎn)業(yè)的三個(gè)層次 不同層次對(duì)可信有不同要求 可靠和安全是兩回事 全部麻煩就在于人加入了系統(tǒng)。 可靠性是高性能的指標(biāo)之一 超級(jí)計(jì)算機(jī)不應(yīng)該光談千萬(wàn)億次 性能：①運(yùn)算速度 ②功耗 ③MTTF 怎么評(píng)估？ Dependability benchmarking for computer systems 在故障注入環(huán)境下運(yùn)行LINPACK 納米芯片的容錯(cuò) 串?dāng)_、生產(chǎn)過(guò)程變差、信噪比 最后一關(guān)是容錯(cuò) 檢查點(diǎn)做到微操作一級(jí) 平行編程 方便性和正確性 云計(jì)算需要高可靠 軟件可靠性 虛擬機(jī)的可靠性 用戶和云通訊可靠性 海量存儲(chǔ)的可靠性和可用性 災(zāi)難情況下的可生存性 ----- 異地備份 物聯(lián)網(wǎng)需要高可靠 基礎(chǔ)設(shè)施的可靠性對(duì)物聯(lián)網(wǎng)很重要 傳感器不但要節(jié)能、靈敏、小型化，還必須可靠、長(zhǎng)壽命、抗惡劣環(huán)境、可維修性 但常不被國(guó)人重視 大型無(wú)線自組傳感網(wǎng)信息傳輸?shù)目煽啃?、路由的可靠性?特別是在某些傳感器節(jié)點(diǎn)故障的條件下 無(wú)線自組網(wǎng)的故障檢測(cè)和診斷 了解各傳感器的狀態(tài) 真正要有效益，而不是請(qǐng)獎(jiǎng)的話，可靠性第一重要。 物聯(lián)網(wǎng)建設(shè)，先做軟件 軟件失效的教訓(xùn)（2005 IEEE Spectrum） 2004年10月，一家英國(guó)食品上市公司注銷了一個(gè)5.26億美元投資的自動(dòng)貯藏鏈管理系統(tǒng)項(xiàng)目。 Sydney Water Corp.是澳洲最大的水提供商，該公司的自動(dòng)顧客信息和計(jì)費(fèi)系統(tǒng)，花費(fèi)3,320萬(wàn)美元，在2002年被取消。 Oxford Health Plans Inc. 在1997年，該公司的自動(dòng)計(jì)費(fèi)和索賠系統(tǒng)不能處理擴(kuò)展的商務(wù)，導(dǎo)致4億美元沒(méi)有收上來(lái)，6.5億美元沒(méi)有付出去。 應(yīng)該先寫軟件規(guī)范，理清思路。 信息化的實(shí)體系統(tǒng)(CPS)需要高可靠 沒(méi)有時(shí)態(tài)語(yǔ)義和并發(fā)計(jì)算模型、盡力而為的網(wǎng)絡(luò)服務(wù)不可能達(dá)到信息化實(shí)體系統(tǒng)的可靠和實(shí)時(shí)的要求 要包含實(shí)體動(dòng)作，實(shí)時(shí)和容錯(cuò)是兩個(gè)關(guān)鍵需求 現(xiàn)在這種可靠性水平，交通控制、汽車自動(dòng)駕駛、遠(yuǎn)程衛(wèi)生保健是不能用的。 對(duì)付不可預(yù)見(jiàn)的突發(fā)事件 下一層不完全可靠，上一層就必須健壯。 例如無(wú)線鏈路，不可靠、不可預(yù)料 軟件系統(tǒng)能做到可靠、可預(yù)見(jiàn)嗎？ 例如C語(yǔ)言執(zhí)行就沒(méi)有時(shí)限，操作系統(tǒng)線程管理和I/O達(dá)不到實(shí)時(shí)。 RTOS太粗，復(fù)雜起來(lái)以后不能保證實(shí)時(shí)。 怎么達(dá)到實(shí)時(shí)和可靠？ 時(shí)態(tài)語(yǔ)義（邏輯的或解析的） 并發(fā)編程 安全技術(shù) 安全三角形 缺一不可 安全問(wèn)題是個(gè)社會(huì)問(wèn)題 搞技術(shù)的是提供技術(shù)支撐 云計(jì)算需要安全 信息安全光盯著PC機(jī)，肯定是不夠的。 不光是自己的PC機(jī)要被信任，自己遠(yuǎn)處的“云”也得被信任。 云成為眾矢之的，易受到攻擊，拜占庭容錯(cuò)很有必要。 信任計(jì)算的研究要面向世界。 物聯(lián)網(wǎng)需要安全 物聯(lián)網(wǎng)怎么保證企業(yè)和個(gè)人的信息安全？ 在概念上講，物聯(lián)網(wǎng)與隱私是矛盾的。 在供應(yīng)鏈上交換貨品信息，可能泄漏商業(yè)秘密。 所以，首先要解決模型的問(wèn)題。 創(chuàng)建模型· 檢驗(yàn)?zāi)Ｐ?信息化的實(shí)體系統(tǒng)需要安全 信息化的實(shí)體系統(tǒng)（CPS）要?jiǎng)诱娓竦模侨蒎e(cuò)不可 遠(yuǎn)程手術(shù)如果不容錯(cuò)，誰(shuí)敢做？ 智能交通控制如果不容錯(cuò)，怎么保障交通安全？ 自動(dòng)駕駛系統(tǒng)必須容拜占庭故障 飛機(jī)駕駛系統(tǒng)現(xiàn)在已采用四模冗余 結(jié)束語(yǔ) 可信 = 可靠 + 安全 可靠是面向機(jī)器的 安全是面向人的 新的服務(wù)和環(huán)境要求更高的可信性 可信計(jì)算的研究不要從概念出發(fā)，而是要解決實(shí)際問(wèn)題 具體事例、具體數(shù)據(jù) 要把可靠性、安全性當(dāng)指標(biāo) INSTITUTE OF COMPUTING TECHNOLOGY CHINESE ACADEMY OF SCIENCES INSTITUTE OF COMPUTING TECHNOLOGY CHINESE ACADEMY OF SCIENCES * Reliable Dependable Secure To be trusted Component Service System 可靠嗎？ 機(jī)器 系統(tǒng) 安全嗎？ 信任它嗎？

相關(guān)知識(shí)

孕期運(yùn)動(dòng)指南：安全與健康的結(jié)合(孕期如何運(yùn)動(dòng)ppt)
哺乳期結(jié)束多久可以獻(xiàn)血？
《語(yǔ)言治療的方法》ppt課件
言語(yǔ)康復(fù)介紹ppt
安全可靠的減肥產(chǎn)品
食品安全知識(shí)培訓(xùn)PPT課件
2023年心理健康講座主持詞開(kāi)場(chǎng)白和結(jié)束語(yǔ)(通用16篇)
最新心理健康講座主持詞開(kāi)場(chǎng)白和結(jié)束語(yǔ)(精選8篇)
158天產(chǎn)假結(jié)束，寶寶玩具大揭秘
2011冬至祝福語(yǔ)短信大全

網(wǎng)址: 結(jié)束語(yǔ)可信=可靠+安全.ppt http://m.u1s5d6.cn/newsview496789.html