收录:
摘要:
For formal verification for establishment of chain of trust, the process algebra description of each entity's state transferring was given based on the abstraction of the establishing process of trusted platform control modeule (TPCM)-based chain of trust. Formal verification was conducted by use of axioms of process algebra. Verification result exhibits that the system has desired external behavior. © 2016, Beijing University of Technology. All right reserved.
关键词:
通讯作者信息:
电子邮件地址: