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

黄俊; 韩玲莉

首页> 中文期刊>计算机工程与应用 >IPSec策略冲突发现形式化技术的研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与应用》|2007年第6期|128-131|共4页
作者
黄俊; 韩玲莉;
展开▼
作者单位

中国计量学院,计算机系,杭州,310018;

中国计量学院,计算机系,杭州,310018;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
网络安全; IPSec; 安全策略; 防火墙; 形式化模型; 有序两元判定图表;
入库时间 2022-08-18 04:38:17

相似文献

中文文献
外文文献
专利

1. 基于形式化技术的IPSec安全策略冲突发现研究 [J] . 金民华 ,黄俊 . 计算机工程与设计 . 2007,第015期
2. IPSec安全策略形式化技术的研究 [J] . 黄俊 ,韩玲莉 . 计算机工程 . 2007,第012期
3. IPSec安全策略冲突分析技术的研究 [J] . 黄俊 ,韩玲莉 . 计算机工程与设计 . 2007,第013期
4. 基于形式化与图形化的IPSec安全策略管理 [J] . 陈卓 . 计算机工程 . 2007,第005期
5. IPsec策略的冲突检测与协调 [J] . 张连宽 ,唐屹 . 计算机工程与设计 . 2008,第015期
6. 具有冲突约束的RBAC模型的形式化规范与证明 [C] . 袁春阳 ,中国科学院研究生院 ,贺也平 . 第二届中国可信计算与信息安全学术会议 . 2006
7. IPSec安全策略冲突检测算法的研究 [A] . 崔雪 . 2007

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

摘要

著录项

相似文献

相关主题

期刊订阅