计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
26期
135-137
,共3页
防火墙%安全策略%优先逻辑程序
防火牆%安全策略%優先邏輯程序
방화장%안전책략%우선라집정서
给出了通过语义分析防火墙安全策略的方法.先将安全策略用一个优先逻辑程序表示,然后计算其语义.由于语义容易理解,管理员能很容易地分析安全策略配置,检测配置的正确性.
給齣瞭通過語義分析防火牆安全策略的方法.先將安全策略用一箇優先邏輯程序錶示,然後計算其語義.由于語義容易理解,管理員能很容易地分析安全策略配置,檢測配置的正確性.
급출료통과어의분석방화장안전책략적방법.선장안전책략용일개우선라집정서표시,연후계산기어의.유우어의용역리해,관리원능흔용역지분석안전책략배치,검측배치적정학성.
