| 基于Pi-演算的信任网络形式化建模 |
| |
| 引用本文： | 袁禄来,曾国荪,王伟.基于Pi-演算的信任网络形式化建模[J].系统仿真学报,2008,20(1):57-61,116. |
| |
| 作者姓名： | 袁禄来 曾国荪 王伟 |
| |
| 作者单位： | 同济大学,计算机科学与技术系,上海,201804 |
| |
| 基金项目： | 国家自然科学基金项目(60673157)，国家高技术研究发展计划(863计划)项目(2007AA01Z425)，国家重点基础研究发展计划(973计划)前期研究专项项目(2007CB316502)。 |
| |
| 摘 要： | 网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求。
|
| 关 键 词： | 网格安全 信任网络 形式化建模 pi-演算 进程代数 |
| 文章编号： | 1004-731X（2008）01-0057-05 |
| 收稿时间： | 2006-10-19 |
| 修稿时间： | 2006-11-22 |
Formal Modeling of Trust Networks Using Pi-Calculus |
| |
| YUAN Lu-lai,ZENG Guo-sun,WANG Wei.Formal Modeling of Trust Networks Using Pi-Calculus[J].Journal of System Simulation,2008,20(1):57-61,116. |
| |
| Authors: | YUAN Lu-lai ZENG Guo-sun WANG Wei |
| |
| Abstract: | 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. |
| |
| Keywords: | grid security trust networks formal modeling pi-calculus process algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
