【摘 要】
：
可信平台模块（trusted platform module,TPM）是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作
【机 构】
：
武汉大学计算机学院,空天信息安全与可信计算教育部重点实验室武汉大学,伯明翰大学计算机科学学院,软件工程国家重点实验室武汉大学
【基金项目】
：
国家自然科学基金项目(91018008,60970115,60970116)
论文部分内容阅读
可信平台模块（trusted platform module,TPM）是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所存在的不足,从分析TPM和使用者的交互过程出发,使用应用π演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理证明工具验证了对
其他文献
随着知识经济时代的到来，人力资源已经成为影响企业核心竞争力的关键因素之一。因此，重视人力资源管理、完善人力资源管理问题是企业健康发展的基础。国有企业由于受传统治理体
随着信息与通讯技术快速发展,"互联网+教育"已成为当今教育发展的必然趋势。翻转课堂、慕课、微课等新颖教学形式大量运用到教学实践中,并在大学、中学教学中取得良好成果。
不断暴露的公司丑闻成为了人们关注的焦点。这些案件虽形态各异，但却有一个共同点，即丑闻的源流都是公司管理层的机会主义行为。人们开始纷纷反思控制公司管理层的公司治理问题