首页> 中文期刊> 《绵阳师范学院学报》 >基于Petri网的数据链路层协议分析

基于Petri网的数据链路层协议分析

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

本文讨论了数据链路层信息传输协议,建立了单工信息传输的Petri网模型,通过Petri网的关联矩阵和可达图对数据链路层信息传输协议进行动态分析,进一步验证了通信协议的正确性.

著录项

来源
《绵阳师范学院学报》 |2019年第5期|100-103|共4页
作者
王学贺;
展开▼
作者单位

菏泽医学专科学校计算机教研室,山东菏泽 274030;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络 ;
关键词
Petri网 ; 数据链路层 ; 协议; 模型; 关联矩阵 ; 可达图;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的iSCSI协议分析与建模 [J] . 童铭 . 信息通信 . 2015 ,第002期
2. 一种基于有色Petri网的安全协议分析方法研究 [J] . 苏桂平 ,孙莎 . 微型机与应用 . 2011 ,第015期
3. 基于面向对象时间Petri网的密码协议分析 [J] . 刘雪艳 ,吴慧欣 ,张强 . 计算机工程 . 2009 ,第013期
4. 基于Petri网的密码协议分析 [J] . 王剑 ,唐朝京 ,张权 . 计算机工程与科学 . 2006 ,第002期
5. 基于着色Petri网仿真模型的安全协议分析 [J] . 龙士工 ,李祥 . 计算机仿真 . 2005 ,第006期
6. 基于Petri网的认证协议分析 [C] . 董卫 ,山东农业大学信息学院 ,吴哲辉 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 基于Petri网的安全协议分析与检测方法的研究 [A] . 梅翀 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号