关键词: 模糊Petri网, 双枝模糊集, 攻击模型, 规则演化

Abstract: 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 with very low truth degree as a precondition, and then a post proposition with lower truth degree was got, a rule evolvement and varying-weight method was presented. The reasoning algorithm described positive and negative propositions in a unified way, and added the controlling conditions in the algorithm to ensure the consistency of reasoning processes and reasoning results. Finally, a Botnet attack was used to verify the reasoning algorithm.

Key words: fuzzy Petri net, both-branch fuzzy set, attack model, rule evolvement