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
Fingerprint
Dive into the research topics of 'Formal modeling of trust networks using pi-calculus'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver