高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
基于进程代数的TCG远程证明协议的形式化验证
作者：
收录：
摘要：
可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了抽象处理,得到了两种协议形式的抽象模型.在抽象模型的基础上,给出了基于进程代数的形式化描述,并分别进行了形式化验证,验证结果表明两种协议形式的并行系统均展示了期望的外部行为.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2021，计算机科学
2009，通信学报
2013，第三十二届中国控制会议
2016，北京工业大学学报
来源 ：
计算机研究与发展
ISSN： 1000-1239
年份： 2013
期： 2
卷： 50
页码： 325-331
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 5
中文被引频次：
近30日浏览量： 3
归属院系：
信息学部
全文获取
外部链接：
