• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

Fu, Lihua (Fu, Lihua.) | Wang, Dan (Wang, Dan.) | Kuang, Jinyun (Kuang, Jinyun.)

Indexed by:

EI Scopus

Abstract:

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.

Keyword:

Specifications Finite automata

Author Community:

  • [ 1 ] [Fu, Lihua]College of Computer Science, Beijing University of Technology, Beijing 100124, China
  • [ 2 ] [Wang, Dan]College of Computer Science, Beijing University of Technology, Beijing 100124, China
  • [ 3 ] [Kuang, Jinyun]College of Computer Science, Beijing University of Technology, Beijing 100124, China

Reprint Author's Address:

Show more details

Related Keywords:

Related Article:

Source :

Journal of Computational Information Systems

ISSN: 1553-9105

Year: 2011

Issue: 8

Volume: 7

Page: 2717-2724

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 1

Affiliated Colleges:

Online/Total:838/5289638
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.