- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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安全策
您可能关注的文档
- [纺织业]不再是“门开多大”的问题.pdf
- [钢铁业]不确定因素在增加.pdf
- [机械业]出口成为最大亮点.pdf
- [煤炭业]面临“大考”.pdf
- [汽车业]增速成为最敏感的问题.pdf
- [石化业]直面六大政策变革.pdf
- ^99Tc-亚甲基二膦酸盐联合治疗类风湿关节炎的临床观察.pdf
- ^99Tc-亚甲基二膦酸盐治疗强直性脊柱炎疗效分析.pdf
- 0.5%印楝素防治有机稻纵卷叶螟的效果研究.pdf
- 2+1维Sine-Gordon方程及其耦合方程组的数值解.pdf
- IPTV系统的VOD与TV业务性能测试研究.pdf
- IPv6将使士兵受益.pdf
- Isolation of Multi-Drug Resistant Paenibacillus sp. from Fertile Soil: An Imminent Menace of Spreading Resistance.pdf
- ITS智能交通与城市道路监控.pdf
- I类手术切口围手术期预防性使用抗菌药物调查.pdf
- JJWM型脉冲袋式除尘器及排粉系统故障分析处理.pdf
- JPMorgan预计2008年的铂价将承压走低.pdf
- K1,n-free图有(g,f)-因子的最小度条件.pdf
- Ketac Molar易混型玻璃离子充填后牙窝洞的临床效果.pdf
- KK型管节点应力集中系数问题研究.pdf
最近下载
- 2011东山县科目一考试货车仿真试题.doc VIP
- 风电场35kv集电线路箱变安装施工组织设计.pdf VIP
- 2023年06月国家国防科技工业局核技术支持中心社会招考聘用笔试历年难、易错考点试题含答案解析.docx
- 2025年人教版初中物理八年级上册第二章《声现象》单元测试题(含答案).pdf VIP
- 2025年度地质勘探钻井服务外包合同.docx VIP
- 2023年新疆职业大学招聘笔试真题带答案详解.docx VIP
- 2023风电场35kv集电线路箱变安装施工方案.docx VIP
- 沪粤版九年级上册 第十三章《探究简单电路》单元测试卷.doc VIP
- 温室气体(GHG)管理手册.doc VIP
- 2025年新疆能源(集团)石油天然气有限责任公司招聘笔试参考题库附带答案详解.pdf
文档评论(0)