Formal Modeling of Trust Networks Using Pi-Calculus
Wang We · Jisuanji fangzhen · 2008
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.