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

• 作者: 康汶 程莹
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: SSL 3.0 模型检测 SPIN Promela LTL
• 年，卷（期）: 2010,（8）
• 页码范围: 156-159
• 分类号: TP393
• 字数: 2707字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.08.042

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	康汶		7	31	3.0	5.0
2	程莹	南昌大学信息工程学院	3	18	2.0	3.0