Temporal-logic-based Model for Chain of Trust of Trusted Platform

According to the current situation of the absence of the formally study to the chain of trust in trusted computing, the notions and the dynamic properties of trusted and trust are analyzed. By virtue of the temporal reasoning abilities of the temporal logic, a formal model of the chain of trust is built. Based on this model, the transfer of the trust on the chain of trust can be inspected, thus the transferability of the trust on the chain of trust is proved theoretically, finally the conditions for the transferability of trust is educed.