| 基于ProVerif的可信平台模块安全分析 |
| |
| 引用本文： | 李宏宇.基于ProVerif的可信平台模块安全分析[J].北京石油化工学院学报,2013,21(4):41-44. |
| |
| 作者姓名： | 李宏宇 |
| |
| 作者单位： | 山西省财政税务专科学校现代教育技术中心,山西太原,030024 |
| |
| 摘 要： | 可信平台模块是可信计算技术的关键部件,其安全性直接影响可信评估的结果。使用演算对可信平台模块进行了形式化建模,并利用该模型对模块中的密钥签署命令进行安全性分析。最后,经模型自动化分析工具ProVerif的验证发现了该命令存在的安全漏洞。
|
| 关 键 词： | 可信计算 可信平台模块 演算 ProVerif |
Analyzing the Trusted Platform Module Based on ProVerif |
| |
| LI Hong-yu.Analyzing the Trusted Platform Module Based on ProVerif[J].Journal of Beijing Institute of Petro-Chemical Technology,2013,21(4):41-44. |
| |
| Authors: | LI Hong-yu |
| |
| Affiliation: | LI Hong-yu (Network Center, Shanxi Finance ＆ Taxation College, Taiyuan 030024, China) |
| |
| Abstract: | The Trusted Platform Module （TPM） plays an important role in evaluating trust of the terminal. It is essential to analyze its security. We build the formal model of the TPM using π calculus. The command TPM_Certify Key is analyzed using the model. The flaw of the command is also discovered through the tool ProVerif. |
| |
| Keywords: | trusted computing trusted platform module π calculus ProVerif |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
