Article thumbnail

可信密码模块的模型检测分析

By 陈小峰 and 冯登国

Abstract

根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统。指出了AP授权协议存在的缺陷,并给出了具体的改进措施;同时验证可信密码模块初始化子系统状态的一致性

Topics: 可信计算平台, 可信密码模块, 模型检测
Year: 2010
OAI identifier: oai:ir.iscas.ac.cn:311060/9982
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://124.16.136.157/handle/3... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.