| 报文过滤策略的逻辑表示及冲突解决方法 |
| |
| 引用本文： | 韩智文 龚正虎 荣霓. 报文过滤策略的逻辑表示及冲突解决方法[J]. 电子学报, 2005, 33(B12): 2517-2523 |
| |
| 作者姓名： | 韩智文 龚正虎 荣霓 |
| |
| 作者单位： | [1]国防科技大学计算机学院,湖南长沙410073 [2]广州军区自动化站,广东广州510000 |
| |
| 基金项目： | 国家自然科学基金重大研究计划“网络与信息安全”（No.90104001）;国家973项目基金（No.2003CB314802）;国防预研项目基金“系统管理与网络管理”（No.413150202） |
| |
| 摘 要： | 报文过滤策略是基于报文头部及相关信息对其进行分类的规则集合，报文分类是提供网络服务如路由、QoS、安全等的关键技术．策略中的冲突会导致不一致的系统行为．提出了一种具有精确语义的过滤策略语言，并给出了该语言到Horn程序的转换规则，从而可以利用逻辑推理技术检测和解析冲突．理论分析和原型实现验证了该方法的有效性．
|
| 关 键 词： | 报文过滤策略 策略管理 策略冲突 冲突解决 |
| 文章编号： | 0372-2112（2005）12A-2517-07 |
| 收稿时间： | 2005-09-27 |
| 修稿时间： | 2005-09-272005-11-10 |
A Logical Approach to Policy Representation and Conflict Resolution in Packet Filter |
| |
| HAN Zhi-wen ,GONG Zheng-hu, RONG Ni. A Logical Approach to Policy Representation and Conflict Resolution in Packet Filter[J]. Acta Electronica Sinica, 2005, 33(B12): 2517-2523 |
| |
| Authors: | HAN Zhi-wen GONG Zheng-hu RONG Ni |
| |
| Affiliation: | 1. Computer School, National University of Defense Technology, Changsha,Hunan 410073, China ; 2. Automatization Station, Guangzhou Military Area, Guangzhou , Guangdong 510000, China |
| |
| Abstract: | |
| |
| Keywords: | packet filter policy policy management policy conflict conflict resolution |
| 本文献已被 维普 等数据库收录！ |
