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

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
维普资讯 128 2007.43(6) ComputerEngineeringandApplications计算机工程与应用 IPSec策略冲突发现形式化技术的研究 黄 俊,韩玲莉 HUANG Jun,HAN Ling-li 中国计量学 院 计算机系 ,杭州 310018 DepartmentofComputerScience,ChinaJiliangUniversity,Hangzhou310018,China E-mail:lyq@cjlu.edu.cn HUANG Jun.HAN Ling—fi.Research on formalmodeling technology in IPSec p0lic conflict discovery.Computer En ringandApplications,2007,43(6):128-131. Abstract:Although IPSecsuppo~s arich setofprotection modes and operations,itspolicy configuration remainsa complex and erTor—prone task.In this paper,we present a generic model that captures various filtering policy semnatics using Boolean exDressioas.We use htismodelto derive a canonicalrepresenattion for IPSec policiesusing Ordered Binary D‘ecision Diagrams. Basedon htisrepresentation.we develop acomprehensiveframework to classifyna d identify confl ictshtatcould existin asingle IPSec device (intra—policyconfl icts)in enterprisenetworks.Ourtestingand evaluationstuay on differentnetwork environments demonstratesthe effectivenessnad efficiencyof ourapproach. Key words:newtork security;IPSec;securitypolicy;firewall;formal model;OBDD 摘 要:虽然 IPSec为网络安全提供 了丰富的安全保护模式和操作 ,但其策略配置是j常复杂和易出错 的一项工作 ,为解决这问 题提 出了通过有序两元判定 图表 (OBDD)来提供全面的IPSec内部安全策略冲突的识别和分类的通用架构模型 ,并且基于这种架 构模型.开发 了一组在通用 IPSec策略配置过程 中发现策略 内部的冲突f*-I题的技术。通过实验测试证 明了该架构模型和技术在发 现和解决策略冲突问题 的有效性 。 关键词 :网络安全 ;IPSec;安全策略 ;防火墙 ;形式化模 型;有序两元判定 图表 文章编号 :1002—8331(2007)06-0128—04 文献标识码 :A 中图分类号 :TP393.O8 1 引言 试工具软件包 的测试证 明该架构模型在发现和解决策略冲突 IPSec由于其灵活性和应用 的透 明性而作为一经济手段广 问题的有效性 。 泛应用于 VPN的建设 中。但 IPSec安全策略由于缺乏 自动验 证机制带来了安全策略间的不兼容和相互冲突等问题.而企业 2 安全策略模型 网在解决IPSec安全策略验证问题上将遇到许多困难1【.21。在单 健壮 的安全策略分析需要能捕获潜在策略语义的灵活形 一 策略中由于IPSec的误配造成规则冲突称为内部策略冲突 式化模式 。本节将首先介绍 IPS~c安全策

文档评论(0)

jsntrgzxy + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档