-
题名IPSec策略冲突发现形式化技术的研究
被引量：1
- 1
-
-
作者
黄俊
韩玲莉
-
机构
中国计量学院计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第6期128-131,共4页
-
基金
浙江省自然科学基金(the Natural Science Foundation of Zhejiang Province of China under Grant No.Y109456) 。
-
文摘
虽然IPSec为网络安全提供了丰富的安全保护模式和操作,但其策略配置是非常复杂和易出错的一项工作,为解决这问题提出了通过有序两元判定图表(OBDD)来提供全面的IPSec内部安全策略冲突的识别和分类的通用架构模型,并且基于这种架构模型,开发了一组在通用IPSec策略配置过程中发现策略内部的冲突问题的技术。通过实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性。
-
关键词
网络安全
IPSEC
安全策略
防火墙
形式化模型
有序两元判定图表
-
Keywords
network security
IPSec
security policy
firewall
formal model
OBDD
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于形式化技术的IPSec安全策略冲突发现研究
- 2
-
-
作者
金民华
黄俊
-
机构
浙江大学计算机学院
中国计量学院计算机系
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第15期3582-3584,3607,共4页
-
基金
浙江省自然科学基金项目(Y109456)
-
文摘
基于安全策略形式化技术,提出了通过有序两元判定图表(OBDD)提供全面IPSec安全策略冲突的识别和分类的通用架构模型。基于这架构模型,研究了在通用IPSec策略配置过程中发现策略内部的冲突问题的技术。实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性。
-
关键词
网络安全
安全策略
防火墙
内部策略冲突
形式化模型
有序两元判定图表
-
Keywords
network security
security policy
firewall
inter-policyconflict, formal model
OBDD
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名IPSec安全策略形式化技术的研究
- 3
-
-
作者
黄俊
韩玲莉
-
机构
中国计量学院计算机科学系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第12期185-187,共3页
-
基金
浙江省自然科学基金资助项目(Y109456)
-
文摘
IPSec安全策略配置是一项复杂和易出错的工作。为解决这问题,提出了通过有序两元判定图表(OBDD)提供全面的IPSec安全策略冲突识别和分类的通用架构模型,并基于该架构模型,开发了一组在通用IPSec策略配置过程中发现策略内部的冲突问题的技术。实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性。
-
关键词
网络安全
IPSEC
安全策略
防火墙
形式化模型
有序两元判定图表
-
Keywords
Network security
IPSec
Security policy
Firewall
Formal model
OBDD
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
