可信连接架构的形式化验证

• 作者: 刘美林 易翔 李凯 王勇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 可信计算 可信网络 可信连接架构 形式化验证 进程代数
• 年，卷（期）: 2012,（z3）
• 所属期刊栏目: 形式化与网络应用
• 页码范围: 230-233
• 页数: 4页
• 分类号: TP309.1
• 字数: 2485字
• 语种: 中文

摘要

可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为.在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王勇	北京工业大学计算机学院	50	389	8.0	18.0
2	李凯	北京工业大学计算机学院	19	98	6.0	9.0
3	易翔	北京工业大学计算机学院	1	5	1.0	1.0
4	刘美林	北京工业大学计算机学院	3	19	3.0	3.0