Research on Compliant Testing Method of Trusted Cryptography Module

A formal method for compliant test of Trusted Cryptography Module(TCM) is proposed in this paper,which uses EFSM and testing vectors to build the formal model of TCM's standard.Since the modeling method presents the arithmetic for getting the dependency graph of the TCM's commands,the process of building EFSM and the way of getting testing vectors,the test case set can be built effectively.Through the experiments using the new method to do the compliant test of TCM and contrast to other related works,the results show that the proposed method in this paper is more effective in getting test cases and can bring better fault inspection rate.