基于形式化技术的IPSec安全策略冲突发现研究

作者：金民华; 黄俊

来源：计算机工程与设计, 2007, (15): 3582-3584+3607.

DOI：10.16208/j.issn1000-7024.2007.15.064

• 网络安全
• 安全策略
• 防火墙
• 内部策略冲突
• 形式化模型
• 有序两元判定图表

基于安全策略形式化技术,提出了通过有序两元判定图表(OBDD)提供全面IPSec安全策略冲突的识别和分类的通用架构模型。基于这架构模型,研究了在通用IPSec策略配置过程中发现策略内部的冲突问题的技术。实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性。

• 单位
  浙江大学; 中国计量大学