Abstract: 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 log

Key words: Trusted,Trust,Chain of trust,Temporal logic