Title :
Chain of Trust Testing Based on Model Checking
Author :
He, Fan ; Zhang, Huanguo ; Wang, Hong ; Xu, Mingdi ; Yan, Fei
Author_Institution :
Coll. of Comput., Wuhan Univ., Wuhan, China
Abstract :
Trusted computing and chain of trust are the very mechanisms to solve the security problems of information system. A chain of trust is established by validating each component of hardware and software from the bottom up. There is an urgent need to test the chain of trust according to the specification of TC to ensure its security. This paper presents a test method on chain of trust by model checking. The purpose is to confirm that the measurements stored and reported by the platform configuration register can successfully discriminate a normal boot sequence from an insecure one. As a result, our test shows that the chain of trust on some popular trusted computing platforms don´t meet the specifications of Trusted Computing Group.
Keywords :
formal verification; program testing; security of data; model checking; trust testing chain; trusted computing group; Aerospace testing; Computational modeling; Computer networks; Computer science education; Hardware; Information security; Information systems; Laboratories; Operating systems; Registers; chain of trust; computation tree logics; conformance testing; model checking; trusted computing platform;
Conference_Titel :
Networks Security Wireless Communications and Trusted Computing (NSWCTC), 2010 Second International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-4011-5
Electronic_ISBN :
978-1-4244-6598-9
DOI :
10.1109/NSWCTC.2010.264
