基于SMV的网络协议形式化分析与验证

基于SMV的网络协议形式化分析与验证
文静华;余滨;张梅;李祥
【期刊名称】《计算机工程》
【年(卷),期】2006(032)015
【摘要】提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷.结果表明,利用符号模型检验方法分析检验网络协议是可行的.
【总页数】3页(P135-136,145)
【作者】文静华;余滨;张梅;李祥
【作者单位】贵州财经学院信息学院,贵阳,550004;贵州大学计算机软件与理论研究所,贵阳,550025;贵州大学计算机软件与理论研究所,贵阳,550025;贵州财经学院信息学院,贵阳,550004;贵州大学计算机软件与理论研究所,贵阳,550025
【正文语种】中文
【中图分类】TP393
【相关文献】
1.非确定性环境中移动机器人避障策略的验证——基于形式化建模和概率分析 [J], 王铭;王瑞;李晓娟;关永;张杰;魏洪兴
2.基于分段模型检测的云服务跨域认证协议的形式化分析与验证 [J], 陈红松;王钢;傅忠传
3.基于SPIN的MIXCOIN协议形式化分析与验证 [J], 王西忠;肖美华;杨科;宋佳雯;
朱志亮
4.IEEE802.11w无线网络协议的形式化分析与验证 [J], 梅映天;吴尚青
5.IEEE 802.11w无线网络协议的形式化分析与验证 [J], 梅映天;吴尚青
因版权原因，仅展示原文概要，查看原文内容请购买。