首页> 中文期刊>计算机学报 >Petri网协议分析器

Petri网协议分析器

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文以基于Petri网的协议工程工作站为研究目标,阐述协议工程工作站的基本功能,简介EPr/TN网系统,着重探讨作者实现的协议描述分析辅助工具PESAT的功能特点和实现技术,并以一个例子加以说明.最后作者指出PESAT的完善工作和理想协议工程工作站建立的前景.

著录项

来源
《计算机学报》|1997年第3期|206-212|共7页
作者
罗军舟; 顾冠群; 谢俊清;
展开▼
作者单位

东南大学计算机科学与工程系,南京,210096;

东南大学计算机科学与工程系,南京,210096;

东南大学计算机科学与工程系,南京,210096;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
协议工程; Petri网; 工具; 描述; 分析;
入库时间 2023-07-25 14:02:40

相似文献

中文文献
外文文献
专利

1. 架构计算机网络协议分析验证实验教学平台——利用虚拟化技术及协议分析器 [J] . 贺斌 . 昭通学院学报 . 2014,第005期
2. 架构计算机网络协议分析验证实验教学平台--利用虚拟化技术及协议分析器 [J] . 贺斌 . 昭通师范高等专科学校学报 . 2014,第005期
3. 利用网络协议分析器分析TCP/IP协议 [J] . 杨洪春 . 湖北理工学院学报（人文社会科学版） . 2006,第002期
4. 基于Petri网的词法分析器的研究 [J] . 汪琳 ,乐晓波 ,李京京 . 长沙理工大学学报（自然科学版） . 2004,第003期
5. 基于Petri网的词法分析器的研究 [J] . 汪琳 ,乐晓波 ,李京京 . 长沙理工大学学报：自然科学版 . 2004,第004期
6. 基于SVO逻辑的协议自动化分析器 [C] . 任瑞 ,张浩军 . 河南省计算机学会2008年学术年会 . 2008
7. 基于网络协议的Petri网研究——利用着色Petri网分析验证安全协议 [A] . 顾明甲 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号