期刊文章详细信息
计算机网络通信协议验证技术的研究
Study on the Protocol Verification of Computer Network
文献类型：期刊文章
机构地区：[1]华中师范大学计算机网络与通信研究所,武汉430079
年 份：2002
卷 号：28
期 号：11
起止页码：251-252
语 种：中文
收录情况：AJ、BDHX、BDHX2000、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊
摘 要：协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段，阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于Petri网、FMS、以及时序逻辑TL模型的协议验证技术。
关 键 词：计算机网络 通信协议 验证 PETRI网 有限状态机
分 类 号：TP393] TN915.[计算机类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
