基于ProVerif的可信平台模块安全分析

摘要

可信平台模块是可信计算技术的关键部件,其安全性直接影响可信评估的结果.使用演算对可信平台模块进行了形式化建模,并利用该模型对模块中的密钥签署命令进行安全性分析.最后,经模型自动化分析工具ProVerif的验证发现了该命令存在的安全漏洞.