IPSec策略冲突发现形式化技术的研究

• 作者: 韩玲莉 黄俊
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 网络安全 IPSec 安全策略 防火墙 形式化模型 有序两元判定图表
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 128-131
• 页数: 4页
• 分类号: TP393.08
• 字数: 4806字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.06.042

摘要

虽然IPSec为网络安全提供了丰富的安全保护模式和操作,但其策略配置是非常复杂和易出错的一项工作,为解决这问题提出了通过有序两元判定图表(OBDD)来提供全面的IPSec内部安全策略冲突的识别和分类的通用架构模型,并且基于这种架构模型,开发了一组在通用IPSec策略配置过程中发现策略内部的冲突问题的技术.通过实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄俊	中国计量学院计算机系	27	169	6.0	12.0
2	韩玲莉	中国计量学院计算机系	14	62	5.0	7.0