| 可信计算中信任链建立的形式化验证 |
| |
| 引用本文： | 王勇, 许荣强, 任兴田, 杨建红. 可信计算中信任链建立的形式化验证[J]. 北京工业大学学报, 2016, 42(3): 387-392. DOI: 10.11936/bjutxb2015060066 |
| |
| 作者姓名： | 王勇 许荣强 任兴田 杨建红 |
| |
| 作者单位： | 1.北京工业大学计算机学院, 北京 100124 |
| |
| 基金项目： | 国家"973"计划资助项目(2007CB311100) |
| |
| 摘 要： | 为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为.
|
| 关 键 词： | 可信计算 信任链 可信平台控制模块 形式化验证 进程代数 |
| 收稿时间： | 2015-06-25 |
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 University of Technology, 2016, 42(3): 387-392. DOI: 10.11936/bjutxb2015060066 |
| |
| Authors: | WANG Yong XU Rongqiang REN Xingtian YANG Jianhong |
| |
| Affiliation: | 1.College of Computer Science,Beijing University of Technology, Beijing 100124, China |
| |
| Abstract: | |
| |
| Keywords: | trusted computing chain of trust trusted platform control module (TPCM) formal verification process algebra |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《北京工业大学学报》浏览原始摘要信息 |
|
点击此处可从《北京工业大学学报》下载全文 |
|
