版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:西安建筑科技大学管理学院西安710055
出 版 物:《计算机应用》 (journal of Computer Applications)
年 卷 期:2009年第29卷第2期
页 面:529-534页
核心收录:
学科分类:0839[工学-网络空间安全] 08[工学]
基 金:陕西自然科学基金资助项目(2007E217) 陕西省教育厅专项基金资助项目(07JK076) 西安建筑科技大学校基础研究基金资助项目(JC0719)
摘 要:以Petri网为基础,结合双枝模糊集理论,定义了一种新型的一致性网络攻击模型CBBVFPN,并根据CBBVFPN模型的特点构造出了相应的形式化推理算法。该模型弥补了以往基于Petri网的攻击模型共同具有的一些缺陷,同时对AND和OR两种基本Petri结构进行了扩展。在推理过程中,为了防止以一个真实度很低的命题为前提继续推理,得出真实度更低的命题而背离事实,提出规则演化和变权的方法来处理真实度低的命题。推理算法使用统一的方式表示肯定命题和否定命题,并且在算法中加入控制条件,以保证推理过程和推理结果的一致性。最后以Botnet攻击为实例验证了本算法。