基于形式化与图形化的IPSec安全策略管理  

Management of IPSec Security Policy Based on Formal Language and View-tool

作　　者：陈卓[1] 

机构地区：[1]湖北工业大学计算机学院,武汉430068

出　　处：《计算机工程》2007年第5期123-125,共3页Computer Engineering

摘　　要：IPSec是一个策略驱动的安全机制,只有当安全策略被正确定义和配置时才能保证IPSec的功能被正确执行,怎样根据特定的条件设置合理有效的策略,是正确实施IPSec的一个重要问题。该文对IPSec安全需求的分析方法进行了改进和形式化表示,给出了一种策略管理的图形化工具。IPSec is a typical policy-enabled networking service, its functions will be executed correctly only if security policies are correctly specified and configured, The paper discusses a new idea of IPSec policy management based on security policy system. Then it offers a view-tool of security policy in IPSec.

关 键 词：IPSEC 安全策略 AH协议 ESP协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]