可信分布式計算與服務教育部重點實驗室依托北京郵電大學,2011年1月10日教育部在其網站上發布了“教育部關于2010年度教育部重點實驗室立項建設的通知”(教技函[2010]98號),我校“可信分布式計算與服務教育部重點實驗室”獲批準立項建設,此次教育部批準立項建設的重點實驗室共有26個。
“可信分布式計算與服務教育部重點實驗室”依托北京郵電大學計算機學院進行建設,以國家泛在社會服務體系建設的需求為導向,基于可信分布式服務計算研發平臺開展基礎理論、核心技術的攻關和關鍵技術的試驗研究工作,主要包括四個研究方向:
1、可信分布式計算與服務機理
針對軟件系統安全生命周期,研究可信軟件的體系結構,以電信領域復雜系統為例,研究從數據交互應用可信性角度來檢查、保證和驗證巨系統的可信性。通過建立數據稽核關系、進行數據一致性檢查來發現軟件過程控制和軟件容錯能力的設計缺陷,研究基于數據稽核結果進行軟件缺陷定位的分析方法。
2、可信分布式計算與服務平臺
研究新一代的可信網絡連接與可信網絡體系結構,為可信服務計算提供可信網絡支撐環境。從理論模型、形式化設計、計算方法、協議機制等多方面研究IP網絡上的信任管理,解決IP網絡與業務的信任問題,建立基于IP網絡,分布式環境下的可信服務計算支撐平臺。
3、可信服務工程
通過服務工程方法與可信性技術結合來解決服務科學與服務工程中的可信性問題,并對所提供服務的可信性進行科學驗證,使得在服務環境中搭建一個信任體系。支撐現代服務業領域發展所需的高可信網絡軟件平臺及大型應用支撐軟件標準。
4、網絡內容可信
針對網絡內容的事件模式、事件交互性與時序性、事件可展示三個科學問題,根據非常規突發事件爆發性、特殊性、環境復雜性、演變不確定性以及擴散無邊界性五個特征,提出基于網絡輿情的非常規社會突發事件生命周期管理的決策支持理論、模型、方法和算法,并將之在網絡內容可信測量平臺中予以驗證。