报文过滤策略的逻辑表示及冲突解决方法

• 作者: 荣霓 韩智文 龚正虎
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 报文过滤策略 策略管理 策略冲突 冲突解决
• 年，卷（期）: 2005,（z1）
• 页码范围: 2517-2523
• 分类号: TP393
• 字数: 8835字
• 语种: 中文

摘要

报文过滤策略是基于报文头部及相关信息对其进行分类的规则集合,报文分类是提供网络服务如路由、QoS、安全等的关键技术.策略中的冲突会导致不一致的系统行为.提出了一种具有精确语义的过滤策略语言,并给出了该语言到Horn程序的转换规则,从而可以利用逻辑推理技术检测和解析冲突.理论分析和原型实现验证了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚正虎	国防科技大学计算机学院	69	709	14.0	24.0
2	韩智文	国防科技大学计算机学院	6	56	3.0	6.0