Modeling TCG-Based secure systems with colored petri nets
INTRUST'10 Proceedings of the Second international conference on Trusted Systems
Hi-index | 0.00 |
Trusted Platform Module (TPM) is a key component to Trusted Computing, which is proposed to improve security on general platforms. Therefore, it's very necessary to test related products. This paper proposes a conformance testing model based on state machine model with related testing strategies and develops an automated testing tool, which can deal with state space explosion and generate test suits automatically based on the database. Testing sequences customizing can also be achieved based on the testing model. We'll take security evaluation as the next step of TPM testing.