作者:韩智文; 龚正虎; 荣霓报文过滤策略策略管理策略冲突冲突解决
摘要:报文过滤策略是基于报文头部及相关信息对其进行分类的规则集合,报文分类是提供网络服务如路由、QoS、安全等的关键技术.策略中的冲突会导致不一致的系统行为.提出了一种具有精确语义的过滤策略语言,并给出了该语言到Horn程序的转换规则,从而可以利用逻辑推理技术检测和解析冲突.理论分析和原型实现验证了该方法的有效性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《电子学报》(CN:11-2087/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
部级期刊
人气 371747 评论 74
人气 308159 评论 62
人气 269934 评论 66
省级期刊
人气 238768 评论 36