Mobile trusted hierarchical model and its applications

Trusted Computing contains a set of mechanisms to construct trusted environment in mobile terminal. But these mechanisms and trusted environment still stop in the stage of technical description which lacks the supporting of strictly formal proof and model´s description. The existing research about trusted model diverges from reality and is short of flexibility and implementation. This paper proposes a mobile trusted hierarchical model based on security architecture and trusted environment. This model fully considers user´s flexibility and is formally described with Z-notation. The actual suppose conditions are given to guide model´s application. The testing result of prototype system shows that our model can be efficiently used for constructing mobile terminal´s trusted environment.