Abstract: Software Dynamic Behavior Measurement (SDBM) is one of the core issues that must be solved by the trusted computing. Tackling this issue has two main steps: one is to model the dynamic behavior of software; the other is to deduce the trust of the modeled behavior. A noninterference-based approach, which focuses on the second step, was presented, and the decision theorems for behavior trust analysis were given as well.

Key words: Trustcd computing, Integrity measurement, Noninterference, Information flow