基于双枝模糊集的一致性模糊变权Petri网攻击模型

以Petri网为基础，结合双枝模糊集理论，定义了一种新型的一致性网络攻击模型CBBVFPN，并根据CBBVFPN模型的特点构造出了相应的形式化推理算法。该模型弥补了以往基于Petri网的攻击模型共同具有的一些缺陷，同时对“AND”和“OR”两种基本Petri结构进行了扩展。在推理过程中，为了防止以一个真实度很低的命题为前提继续推理，得出真实度更低的命题而背离事实，提出规则演化和变权的方法来处理真实度低的命题。推理算法使用统一的方式表示肯定命题和否定命题，并且在算法中加入控制条件，以保证推理过程和推理结果的一致性。最后以Botnet攻击为实例验证了本算法。

Consistent varying-weight fuzzy Petri net attack model based on both-branch fuzzy set

Based on Petri net,a new consistent both-branch varying-weight fuzzy Petri attack net(CBBVFPN) was defined using both-branch fuzzy set theory,and a formal reasoning algorithm for the CBBVFPN model was presented according to the characteristics of CBBVFPN model.The model makes up for some common limitations in previous attack models based on Petri net,and two basic structures about "AND" and "OR" of Petri net were expanded.In reasoning process,in order to avoid continuing to reason by taking a proposition wi...