Indexed by：
Abstract：
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块( trusted platform control module, TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证. 验证的结果表明系统具有期望的外部行为.
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
ISSN： 0254-0037
Year： 2016
Issue： 3
Volume： 42
Page： 387-392
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 6
Chinese Cited Count：
30 Days PV： 3
Affiliated Colleges：
