噪音环境下移动进程的可靠性与安全性

项目名称： 噪音环境下移动进程的可靠性与安全性

项目编号： No.60973004

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 曹永知

作者单位： 北京大学

项目金额： 30万元

中文摘要： 为了形式化建模和分析移动系统，图灵奖得主Milner等人创建了移动进程理论pi-演算。pi-演算是一类进程代数，进程之间的(无噪音)通信是其最重要的组成部分。考虑到实际系统中信道噪音难以避免，应明生教授最近建立了一种带噪音的pi-演算。本项目旨在结合香农信息论和进程代数理论，在恰当建模的基础上，研究噪音环境下移动进程的可靠性和安全性。我们将发展一个新的，忠实的带噪音pi-演算，讨论它的基本性质，揭示该演算与概率pi-演算的联系。在此基础上，结合互模拟概念，定义可靠性度量并研究如何提高噪音环境下移动进程的可靠性。进一步，我们将研究基于pi-演算及其扩展spi-演算的密码协议在噪音环境下的安全性。同时，我们也将结果应用于分析进程代数建模的服务计算中服务的可靠性与安全性。本项目的研究将有助于设计移动系统（如Internet，移动通信系统），分析和严格推理它们行为的可靠性和安全性。

中文关键词： pi-演算；进程代数；噪音信道；可靠性；安全性

英文摘要：

英文关键词： the pi-calculus；process algebra；noisy channel；reliability；security