【摘要】 本发明涉及一种基于Petri网的误用检测系统攻击知识库的校验方法，属于计算机应用技术领域。本发明通过建立攻击知识库的Petri网模型，并在此基础上生成Petri网模型的可达图，通过可达图发现攻击知识库中存在的错误规则。由于建立可达图的过程是Petri网模型在计算机中自动运行的过程，因此有效地解决了人工校验方法存在的效率低的问题；并且，可达图能够将所有的错误类型直接反映出来，解决了人工校验中存在的漏检问题，提高了正确程度，适用于误用检测系统攻击知识库的校验。 【专利类型】发明申请 【申请人】北京理工大学 【申请人类型】学校 【申请人地址】100081 北京市海淀区中关村南大街5号 【申请人地区】中国 【申请人城市】北京市 【申请人区县】海淀区 【申请号】CN200910121383.7 【申请日】2009-05-31 【申请年份】2009 【公开公告号】CN103748982B 【公开公告日】2011-04-27 【公开公告年份】2011 【授权公告号】CN103748982B 【授权公告日】2011-04-27 【授权公告年份】2011.0 【IPC分类号】G06F21/00; G06F11/00; H04L9/00 【发明人】胡昌振; 危胜军 【主权项内容】基于Petri网模型的误用检测系统攻击知识库的校验方法，其特征在于本发明通过建立误用检测系统攻击知识库的Petri网模型，并在此基础上生成Petri网模型的可达图，通过可达图发现攻击知识库中存在的错误规则；具体实现步骤如下：步骤一、建立攻击知识库的Petri网模型首先，对误用检测系统的攻击知识库中存在的规则建立Petri网模型；其中，p1∧p2∧…∧pj-1→pj∧pj+1∧…∧pk知识表示形式的Petri网模型为：p1∨p2∨…∨pj-1→pj∧pj+1∧…∧pk知识表示形式的Petri网模型为：步骤二、生成攻击知识的Petri网模型的可达图在步骤一建立攻击知识库的Petri网模型的基础上，生成攻击知识的Petri网模型的可达图；生成可达图的方法为：设V为一向量，表示当前的标识，另设RT＝T为变迁的集合，则Petri网N＝(S，T，F，W，M0)的可达图的具体生成步骤如下：第(1)步：将初始标识M0作为可达图的根节点，且将M0设置成0向量；第(2)步：若RT中不存在使能的变迁，转到第(4)步；否则，进行如下处理：设L＝{t1，…，tk}为由V表示的当前标识下的所有使能变迁集合，其中1≤k≤ 【当前权利人】北京理工大学 【当前专利权人地址】北京市海淀区中关村南大街5号 【统一社会信用代码】12100000400009127B 【引证次数】3.0 【被引证次数】3 【他引次数】3.0 【被他引次数】3.0 【家族引证次数】3.0 【家族被引证次数】3

未经允许不得转载：http://www.zhongzhencnc.com/1782460515.html