NETL
远程证明安全协议的设计与验证
王丹 1魏进锋 1周晓东1
作者信息
- 1. 北京工业大学 计算机学院,北京 100124
- 折叠
摘要
通过对现有远程证明协议交互协议的分析,提出了一种改进的远程证明协议。为了验证该协议是否符合安全需求,采用安全协议形式化分析方法中的基于攻击类的CSP方法对协议进行了CSP建模,同时通过对模型进行的FDR检测,发现了协议中存在的漏洞,给出了漏洞的修改方案。经过再次验证得到了符合安全需求的安全协议。该协议可用于可信计算的远程证明,能够保证远程证明的正确完成和交互过程中消息的保密性、完整性、认证性及新鲜性。
关键词
远程证明协议/CSP方法/FDR检测/漏洞修改/安全需求/消息保密性引用本文复制引用
主办单位
国家计算机网络入侵防范中心/国家计算机病毒应急处理中心/西安电子科技大学会议名称
第二届中国计算机网络与信息安全学术会议会议时间
2009-10-01会议地点
天津会议母体文献
第二届中国计算机网络与信息安全学术会议论文集页码
189-196出版时间
2009