• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

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

收录:

EI Scopus

摘要:

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.

关键词:

Finite automata Specifications

作者机构:

  • [ 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

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

来源 :

Journal of Computational Information Systems

ISSN: 1553-9105

年份: 2011

期: 8

卷: 7

页码: 2717-2724

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 2

在线人数/总访问数:1437/2979425
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司