Return to Article Details Formalizing Trust: A Modal Logic Approach to Trust Management in Distributed Systems Download