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

摘要：

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

关键词：SSL 3.0、模型检测、SPIN、Promela、LTL

所属期刊栏目：38

分类号：TP393(计算技术、计算机技术)

资助基金：江西省自然科学基金项目0611057,2007GZS1884

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

页数：共4页

页码：156-159