CPNtools协议建模-----门卫过滤两种帧存储方式

Posted xinxianquan

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了CPNtools协议建模-----门卫过滤两种帧存储方式相关的知识,希望对你有一定的参考价值。

1、门卫过滤作用

   两种帧格式定义方式的过滤 ,第一种方式  数据存储定义格什为 colset frame=product  MAC *MAC*DATA      第二种数据帧存储格式定义为 colset frame=record dst:MAC*addr:MAC*d:DATA;  

   第一种使用门卫过滤方式 [#1 f=addr]        对应的第二种过滤方式    [ #dst f=ad ]

技术图片

 

 技术图片

 

 2、对应于变迁的输出代码片段的的过滤这里不再重复,查阅之前的博客

以上是关于CPNtools协议建模-----门卫过滤两种帧存储方式的主要内容,如果未能解决你的问题,请参考以下文章

CPNtools协议建模安全分析---实例

CPN Tools 只能建模简单逻辑性结构协议

CPNtools 模拟工具适合分析什么样的协议

CPN Tools 形式化建模分析工具

Python + Opencv: 视频帧存为图片

TCP/IP详解 卷1:协议—链路层