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

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

相關(guān)知識

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

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