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

摘要：

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

关键词：可信计算、可信网络、可信连接架构、形式化验证、进程代数

所属期刊栏目：39

分类号：TP309.1(计算技术、计算机技术)

在线出版日期：2013-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：230-233