远程证明安全协议的设计与验证

摘要：

通过对现有远程证明协议交互协议的分析,提出了一种改进的远程证明协议。为了验证该协议是否符合安全需求,采用安全协议形式化分析方法中的基于攻击类的CSP方法对协议进行了CSP建模,同时通过对模型进行的FDR检测,发现了协议中存在的漏洞,给出了漏洞的修改方案。经过再次验证得到了符合安全需求的安全协议。该协议可用于可信计算的远程证明,能够保证远程证明的正确完成和交互过程中消息的保密性、完整性、认证性及新鲜性。

关键词： 远程证明协议 CSP方法 FDR检测 漏洞修改 安全需求 消息保密性

作者: 王丹 魏进锋 周晓东

作者单位: 北京工业大学 计算机学院,北京 100124

会议类型: 国内会议

会议名称: 第二届中国计算机网络与信息安全学术会议

会议地点: 天津

会议语种:中文

页码: 189-196

在线出版日期: 2009-10-01（万方平台首次上网日期，不代表论文的发表时间）