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