Hierarchical Verification of Behavior Trustworthiness

To slow down reduction in availability caused by measurement granularity refinement, a model and the corresponding method of hierarchical verification of behavior trustworthiness were proposed based on concurrency theory.The sequential verification of platform behaviors in time in behavior-oriented trusted dynamic measurement was translated to the verification based on the hierarchical description of expected behaviors.The corresponding theorem ensured equivalence of translation.Efficiency analysis results show that hierarchical verification improves memory efficiency and verification efficiency, and enhances the feasibility of fine-grained trusted dynamic measurement.