An Effort to Formal Model of Trust Management in Grids

B. Li, W. Yao, and J. You


Grid, trust, belief, trust management, assurance


The grid is a kind of large-scale, heterogeneous, distributed computing environment that spans multiple administrative domains. The security mechanisms of user-based grid computing differ from that of traditional site-based distributed computing in many ways. In order to formally describe and analyze the characteristics of the security mechanisms in the grid environment, we develop a suit of formal logic as an extension of the calculus for access control proposed by Lampson et al. Our formal logic aims at reasoning about belief and trust of principals in large-scale distributed systems. It can describe authentication, authorization, restricted delegation, and assurance in the grid environment intuitively. We use it as a basis to model the trust management system in the grid environment.

Important Links:

Go Back