| WTP协议的SPIN模型检测 |
| |
| 作者单位： | 贵州大学电子科学与信息技术学院 |
| |
| 摘 要： | 基于模型检测技术,使用SPIN对WTP协议进行了建模和分析.应用自动机和Promela对协议进行建模,利用LTL规范了协议需要满足的安全性,时序性。通过分析发现了协议的一个错误。
|
| 关 键 词： | WTP协议 SPIN 模型检测 Promela |
Model Checking of WTP Protocol Via SPIN |
| |
| Authors: | FENG Jie |
| |
| Abstract: | This paper deals with a formal verification of WTP,where the model checking approach is applied by SPIN model checker.ThePromela model is developed and LTL specifications of secrecy are given. Eventually,some defects has been revealed. |
| |
| Keywords: | WTP Protocol SPIN model checking Promela |
| 本文献已被 CNKI 等数据库收录！ |
|
