期刊名称：International Journal of Computer Science and Information Technologies
电子版ISSN：0975-9646
出版年度：2010
卷号：1
期号：5
页码：363-365
出版社：TechScience Publications
摘要：The concept of trusted computing given was by Anderson [2]. Trust is an expectation that a device behaves in a particular manner. A trusted component, operation or process is one whose behavior is predictable under almost any operating condition which is highly resistant to viruses or any physical interference. Trusted computing is one of the key technologies in the field of information security. It is the security solution proposed by TCG [1]. Its core concept is “chain of transitive trust”, which means measurements and authentications are performed level by level based on Roots of Trust to assure the booting process, operating system and applications of a computing platform have executed correctly within users’ expectations. The main idea of trusted computing is to equip computer systems with a device that can be trusted by all. The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the security and the trustworthiness of present and future IT systems. The Trusted computing platform proposes to address the problem of remote trust. The Trusted Computing Platform (TCP) implies some party trusts the platform which is under consideration. The core component of the TCG proposal is the Trusted Platform Module (TPM) [1] providing certain cryptographic functions. Many vendors have already started to equip their platforms with a TPM claiming to be TCG compliant. However, there is no feasible way for application developers and users of TPM-enabled systems to verify the compliance. Compliance test is performed to assess whether a system considered, functions perfectly according to the given specifications. Testing can be very expensive if performed by brute force. Hence, one of the basic approaches for compliance testing isperformed by constructing a Finite State Automata which can perform test in an inexpensive manner
