基于SPIN的SSL 3.0握手协议模型检测

摘要：

文章介绍了密钥交换协议SSL 3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。

关键词： 模型检测 密钥交换 SSL 3.0协议

作者: 程莹 康汶

作者单位: 南昌大学信息工程学院,南昌,33003 江西省信息中心,南昌,330046

会议类型: 国内会议

会议名称: 第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会

会议地点: 呼和浩特

会议语种:中文

页码: 156-159

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