基于ESTELLE的网络协议建模方法

• 作者: 安建平 李国庆 杨杰
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 协议建模 形式描述 有限状态机
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 科研通信
• 页码范围: 743-746
• 页数: 4页
• 分类号: TP391.9
• 字数: 3685字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2007.04.027

摘要

协议形式化描述工具ESTELLE网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EESM的建模,并利用这种方法对MIL-STD 188-220C协议进行建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	安建平		152	875	14.0	20.0
2	杨杰		44	282	9.0	14.0
3	李国庆		1	3	1.0	1.0