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.