基于Pi-演算的信任网络形式化建模  

Formal Modeling of Trust Networks Using Pi-Calculus

作　　者：袁禄来[1] 曾国荪[1] 王伟[1] 

机构地区：[1]同济大学计算机科学与技术系,上海201804

出　　处：《系统仿真学报》2008年第1期57-61,116,共6页Journal of System Simulation

基　　金：国家自然科学基金项目(60673157);国家高技术研究发展计划(863计划)项目(2007AA01Z425);国家重点基础研究发展计划(973计划)前期研究专项项目(2007CB316502)。

摘　　要：网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求。The trust network in Grid environment is hard to be modeled due to its concurrency and distribution. So a process algebra approach to formalizing the trust network was proposed. The trust network was defined and the corresponding relationship was discussed between its nodes and pi-calculus. Besides, the rules of describing trust networks with pi-calculus were introduced. Based on these rules, the formal model of trust networks was established. Its validity was verified by MWB, a model checker of pi-calculus. Theoretical analysis shows the formal model proposed is live and safe, satisfying QoS requirements of users in trust.

关 键 词：网格安全 信任网络 形式化建模 PI-演算 进程代数 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]