收录:
摘要:
Trust chain is a key component of trusted computing platform. How to test the implementations of trust chain for conformance to the specifications is a signification research work. Therefore, this paper focuses on the state transition characters of specifications of trust chain and formalizes these characters based on state machine theory. And the authors analyzes the testing sequence generation procedures with the unique input/output(UIO) sequences. This paper provides a new valuable way for studying the conformance testing for trust chain of Trusted Computing Platform. © 2005 by Binary Information Press.
关键词:
通讯作者信息:
电子邮件地址:
来源 :
Journal of Computational Information Systems
ISSN: 1553-9105
年份: 2011
期: 8
卷: 7
页码: 2717-2724