Security configuration; Baseline verification; Automatic baseline verification system;
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:通过自动补偿和重新配置快速解决径向配电网的问题
机译:基于启发式分析的安全事件自动验证方法
机译:自动化网络设备安全配置基准验证的解决方案浅析
机译:材料特性和设备配置对自动纤维放置中误差缓解的轮廓测量扫描结果的影响
机译:附录:M。Pinto; N.Gámez;富恩特斯湖; M.Amor;霍卡斯(J.M.); AyalaI。无线传感器网络中安全策略的动态重新配置。传感器2015155251–5280
机译:迈向网络和系统安全配置的统一建模和验证