| 可信连接架构的形式化验证 |
| |
| 引用本文： | 王勇,易翔,李凯,刘美林. 可信连接架构的形式化验证[J]. 计算机科学, 2012, 39(Z3) |
| |
| 作者姓名： | 王勇 易翔 李凯 刘美林 |
| |
| 作者单位： | 北京工业大学计算机学院 北京100124 |
| |
| 摘 要： | 可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为.在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为.
|
| 关 键 词： | 可信计算 可信网络 可信连接架构 形式化验证 进程代数 |
Formal Verification of Trusted Connection Architecture |
| |
| WANG Yong , YI Xiang , LI Kai , LIU Mei-lin. Formal Verification of Trusted Connection Architecture[J]. Computer Science, 2012, 39(Z3) |
| |
| Authors: | WANG Yong YI Xiang LI Kai LIU Mei-lin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
