Ranut: A Labeled Transition System-Based Model for Trust Management

Trusted computing aims to bring the concept of trust from society to cyberspace, which makes the studies of trust management in trusted computing an exigent demand. In this paper, we propose a LTS-based model -- Ranut. First of all, the four building blocks of the model, such as information collection, trust estimation, trust library and trust application, have been introduced, Second, the formal definitions of identity based trust and action based trust are presented, followed which are the three rules for state transition under single action. And finally, based on TCG specification and access control mechanism, the implementation method of the model has been discussed in detail.