%0 Journal Article %T 基于特征的网络安全策略验证 %A 余顺争 %A 唐成华 %J - %D 2009 %X 安全策略的完整性、正确性和一致性对网络信息系统的安全性能具有.. %K [安全策略 %K 安全域 %K 完整性 %K 正确性 %K 一致性 %K security policy %K security domain %K integrity %K validity %K consistency] %U http://crad.ict.ac.cn/CN/Y2009/V46/I11/1854