基于SPIN的SSL3.0握手协议模型检测

作者：程莹; 康汶

来源：计算机与数字工程, 2010, 38(08): 156-159.

• SSL3.0
• 模型检测
• SPIN
• Promela
• LTL

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

• 单位
  南昌大学信息工程学院; 江西省信息中心