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

• 作者: 曾国荪 王伟 袁禄来
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 网格安全 信任网络 形式化建模 pi-演算 进程代数
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 仿真建模与仿真算法及数值仿真
• 页码范围: 57-61,116
• 页数: 6页
• 分类号: TP391.9
• 字数: 7777字
• 语种: 中文

摘要

网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互.抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾国荪	同济大学计算机科学与技术系	102	1102	17.0	29.0
2	王伟	同济大学计算机科学与技术系	238	3083	28.0	47.0
3	袁禄来	同济大学计算机科学与技术系	10	195	4.0	10.0