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

• 作者: 冯登国 陈小峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 可信计算平台 可信密码模块 模型检测
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 59-64,72
• 页数: 7页
• 分类号: TP309
• 字数: 4487字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2010.01.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国		60	2071	22.0	45.0
2	陈小峰		3	66	3.0	3.0