| 基于SPIN的SSL3.0握手协议模型检测 |
| |
| 引用本文： | 程莹,康汶.基于SPIN的SSL3.0握手协议模型检测[J].计算机与数字工程,2010,38(8):156-159. |
| |
| 作者姓名： | 程莹 康汶 |
| |
| 作者单位： | 1. 南昌大学信息工程学院,南昌,33003
2. 江西省信息中心,南昌,330046 |
| |
| 基金项目： | 江西省自然科学基金项目 |
| |
| 摘 要： | 文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
|
| 关 键 词： | SSL3.0 模型检测 SPIN Promela LTL |
Model Checking of SSL 3.0 Protocol Based on SPIN |
| |
| Cheng Ying,Kang Wen.Model Checking of SSL 3.0 Protocol Based on SPIN[J].Computer and Digital Engineering,2010,38(8):156-159. |
| |
| Authors: | Cheng Ying Kang Wen |
| |
| Affiliation: | Cheng Ying Kang Wen(College of Electrical and Information Engineering,Nanchang University1), Nanchang 330031)(Jiangxi Province Information Center2),Nanchang 330046) |
| |
| Abstract: | This article describes the key exchange protocol SSL 3.0,then conducts a formalized analysis、modeling and verification of the protocol by using the famous model checking tool SPIN.The experimental results show that this method of verification is correct,certificate the safety and feasibility of the protocol itself, and improve the the verification efficiency of the protocol. |
| |
| Keywords: | SSL 3 0 SPIN Promela LTL |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
