论文部分内容阅读
基于安全策略形式化技术,提出了通过有序两元判定图表（OBDD）提供全面IPSec安全策略冲突的识别和分类的通用架构模型。基于这架构模型,研究了在通用IPSec策略配置过程中发现策略内部的冲突问题的技术。实验测试证明了该架构模型和技术在发现和解决策略冲突问题的有效性。
基于形式化技术的IPSec安全策略冲突发现研究
【摘 要】
：
基于安全策略形式化技术,提出了通过有序两元判定图表（OBDD）提供全面IPSec安全策略冲突的识别和分类的通用架构模型。基于这架构模型,研究了在通用IPSec策略配置过程中发现策略
【机 构】
：
浙江大学计算机学院,中国计量学院计算机系
【出 处】
：
计算机工程与设计
【发表日期】
：
2007年15期
其他文献
并行离散事件模拟（PDES）又称分布式模拟,通过将一个离散事件模拟程序在多个处理器上并行执行来提高模拟性能。乐观策略在解决并行模拟中各模拟部分之间的同步关系时具有较好的
利用生物质炭改良土壤近年来受到关注,但仍缺乏对土壤动物群落变化的认识.基于野外定位试验,研究了不同用量的生物质炭(0、10、20、30、40 t·hm-2)与氮肥(60、90、120kg N·
通过分析目前国内外使用的几种评估软件质量的方法,结合教学软件具体实际和综合考虑,提出利用模糊熵理论评估教学软件质量的模型,利用评价者评价完善权重知识库,该模型通过熵
在现代影视艺术创作中,蒙太奇是最基本的表现手段。而在中国古代诗词曲创作中,这种手法的运用也是非常普遍的。可见,影视和文学这两种艺术的创作思维方式具有相通之处,二者在