计算机工程2006，Vol.32Issue(15)：135-136,145,3.
基于SMV的网络协议形式化分析与验证
Formal Analysis and Verification for Network Protocols Based on SMV
摘要
关键词
网络协议/协议分析/符号模型检验分类
信息技术与安全科学引用本文复制引用
文静华,余滨,张梅,李祥..基于SMV的网络协议形式化分析与验证[J].计算机工程,2006,32(15):135-136,145,3.基金项目
贵州省自然科学基金资助项目(20052111) （20052111）
贵州省教育厅自然科学基金资助项目(2004219) （2004219）
