《噪音環境下移動進程的可靠性與安全性》是依託北京大學，由曹永知擔任負責人的面上項目。
基本介紹
- 中文名：噪音環境下移動進程的可靠性與安全性
- 項目負責人：曹永知
- 項目類別：面上項目
- 依託單位：北京大學
項目摘要,結題摘要,
項目摘要
為了形式化建模和分析移動系統，圖靈獎得主Milner等人創建了移動進程理論pi-演算。pi-演算是一類進程代數，進程之間的(無噪音)通信是其最重要的組成部分。考慮到實際系統中信道噪音難以避免，應明生教授最近建立了一種帶噪音的pi-演算。本項目旨在結合香農資訊理論和進程代數理論，在恰當建模的基礎上，研究噪音環境下移動進程的可靠性和安全性。我們將發展一個新的，忠實的帶噪音pi-演算，討論它的基本性質，揭示該演算與機率pi-演算的聯繫。在此基礎上，結合互模擬概念，定義可靠性度量並研究如何提高噪音環境下移動進程的可靠性。進一步，我們將研究基於pi-演算及其擴展spi-演算的密碼協定在噪音環境下的安全性。同時，我們也將結果套用於分析進程代數建模的服務計算中服務的可靠性與安全性。本項目的研究將有助於設計移動系統（如Internet，移動通信系統），分析和嚴格推理它們行為的可靠性和安全性。
結題摘要
為了形式化建模和分析移動系統，圖靈獎得主Milner等人創建了移動進程理論pi-演算。pi-演算是一類進程代數，進程之間的（無噪音）通信是其最重要的組成部分。考慮到實際系統中信道噪音難以避免，應明生教授建立了一種帶噪音的pi-演算。本項目結合香農資訊理論和進程代數理論，在恰當建模的基礎上，比較系統和深入地研究了噪音環境下移動進程的可靠性。我們發展了一個新的、忠實的帶噪音pi-演算，討論了它的基本性質，揭示了該演算與機率pi-演算間的聯繫。在此基礎上，結合互模擬概念，定義了可靠性度量，並研究了如何提高噪音環境下移動進程的可靠性。同時，我們研究了條件匿名性，可用於分析密碼協定在噪音環境下的安全性。另外，我們也將相關思想和結果套用於業務處理執行語言BPEL和BPEL4People、實時和嵌入式系統規範序列圖等的建模與分析。本項目的研究成果為設計可靠、安全的移動系統（如Internet，移動通信系統）奠定了基礎。
