基于TCPN的TCP协议形式化描述

• 作者: 何中阳 刘洋 李鸥 杨白薇
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: TCP协议 赋时着色Petri网 形式化描述 有界性 活性
• 年，卷（期）: 2011,（18）
• 所属期刊栏目: 网络通讯
• 页码范围: 77-80
• 分类号: TP393
• 字数: 3699字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.18.026

摘要

提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法.采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程.通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李鸥	解放军信息工程大学信息工程学院	55	193	8.0	9.0
2	刘洋	解放军信息工程大学信息工程学院	7	37	4.0	6.0
3	杨白薇	解放军信息工程大学信息工程学院	5	35	3.0	5.0
4	何中阳	解放军信息工程大学信息工程学院	1	8	1.0	1.0