| 可信计算中信任链建立的形式化验证 |
| |
| 引用本文： | 王勇,许荣强,任兴田,杨建红.可信计算中信任链建立的形式化验证[J].北京工业大学学报,2016,42(3):387-392. |
| |
| 作者姓名： | 王勇 许荣强 任兴田 杨建红 |
| |
| 作者单位： | 北京工业大学计算机学院,北京,100124;北京工业大学计算机学院,北京,100124;北京工业大学计算机学院,北京,100124;北京工业大学计算机学院,北京,100124 |
| |
| 基金项目： | 国家"973"计划资助项目(2007CB311100) |
| |
| 摘 要： | 为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块( trusted platform control module, TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证. 验证的结果表明系统具有期望的外部行为.
|
| 关 键 词： | 可信计算 信任链 可信平台控制模块 形式化验证 进程代数 |
Formal Verification of Establishment of Chain of Trust in Trusted Computing |
| |
| WANG Yong,XU Rongqiang,REN Xingtian,YANG Jianhong.Formal Verification of Establishment of Chain of Trust in Trusted Computing[J].Journal of Beijing Polytechnic University,2016,42(3):387-392. |
| |
| Authors: | WANG Yong XU Rongqiang REN Xingtian YANG Jianhong |
| |
| Abstract: | |
| |
| Keywords: | trusted computing chain of trust trusted platform control module (TPCM) formal verification process algebra |
| 本文献已被 万方数据 等数据库收录！ |
|
