DePaul University;
DePaul University;
DePaul University;
policy generation; policy grammar; security policy;
机译:完整分析配置规则,以确保可靠的网络安全策略
机译:完整分析配置规则,以确保可靠的网络安全策略
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:进行网络安全策略生成以进行配置分析和测试
机译:软件组件交互测试:覆盖率测量和配置生成。
机译:附录:M。Pinto; N.Gámez;富恩特斯湖; M.Amor;霍卡斯(J.M.); AyalaI。无线传感器网络中安全策略的动态重新配置。传感器2015155251–5280
机译:建立配置分析和测试的网络安全策略