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