IPSec安全策略冲突分析技术的研究.pdfVIP

第28卷第13期 计算机工程与设计 2007年7月 V01．28NO．13 and 2007 ComputerEngineeringDesign July IPSec安全策略冲突分析技术的研究 黄俊， 韩玲莉 (中国计量学院计算机科学系，浙江杭州310018) 摘 要：IPSec为网络安全提供了丰富的安全保护模式和操作，但其策略配置是非常复杂和易出错的一项工作。采用安全策 组在IPSec策略配置过程中发现策略间冲突问题的技术。并通过开发的安全策略测试工具软件包的运行分析证明了该方法 模型在发现和解决不同IPSec设备问的策略间冲突问题的有效性。 关键词：网络安全；IPSec策略间冲突；安全策略；防火墙；形式化模型 中图法分类号：TP393．08文献标识码：A 文章编号：1000．7024(2007)13．3090．03 ResearchonIPSec inter-policyanalysistechnology HUANGJun． HAN Ling．1i of 310018，China) ComputerScience，ChinaJiliangUniversity,Hangzhou (Department remainsa error- IPSec arichset modesand and supports operations，itspolicyconfigurationcomplex Abstract：Although ofprotection task．Basedonformal andordereddecision frameworkis to prone modelingtechnology binary diagrams，acomprehensivedeveloped and conflictsthatcouldexistbetweendifferentIPSec conflicts)inenterprise classifyidentify devices(inter-policy and on ondifferentnetworkenvironmentsdemonstratestheeffectivenessand ofthe evaluatingstudy efficiencyapproach． words：network model Key security；IPSecinter-policyconflict；securitypolicy；firewall；formal OBDD)。捌方法对内部策略冲突进行了分析，解决了在单一 0引 言 IPSec策略配置过程中发现策略内部冲突的问题。 IPSec由于其灵活性和应用的透明性而广泛应用于VPN本文在文献[4]中提出的内部策略冲突分析技术的基础 的建设中，但