高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
可信连接架构的形式化验证
作者：
收录：
摘要：
可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为.在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2016，北京工业大学学报
2013，计算机研究与发展
2021，计算机科学
来源 ：
计算机科学
ISSN： 1002-137X
年份： 2012
期： z3
卷： 39
页码： 230-233
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 5
中文被引频次：
近30日浏览量： 2
归属院系：
全文获取
外部链接：
