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.
| Original language | English |
|---|---|
| Pages (from-to) | 57-61+116 |
| Journal | Xitong Fangzhen Xuebao / Journal of System Simulation |
| Volume | 20 |
| Issue number | 1 |
| State | Published - 5 Jan 2008 |
| Externally published | Yes |
Keywords
- Formal modeling
- Grid security
- Pi-calculus
- Process algebra
- Trust networks