Indexed by：
Abstract：
可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了抽象处理,得到了两种协议形式的抽象模型.在抽象模型的基础上,给出了基于进程代数的形式化描述,并分别进行了形式化验证,验证结果表明两种协议形式的并行系统均展示了期望的外部行为.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机研究与发展
ISSN： 1000-1239
Year： 2013
Issue： 2
Volume： 50
Page： 325-331
Cited Count：
WoS CC Cited Count： 36
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 5
Chinese Cited Count：
30 Days PV： 14
Affiliated Colleges：
