IPSec安全策略形式化技术的研究

• 作者: 韩玲莉 黄俊
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 网络安全 IPSec 安全策略 防火墙 形式化模型 有序两元判定图表
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 185-187
• 页数: 3页
• 分类号: TP393.08
• 字数: 3914字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.12.065

摘要

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

作者信息

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