declarative language; declarative queries; network configuration; policy verification; security measures;
机译:一种声明性的网络设备配置正确性方法
机译:软件定义网络的安全策略模型转换和验证方法
机译:考虑系统结构安全性评估的主动配电网优化中与ANM协调动态网络重新配置
机译:全球网络安全配置验证和评估的声明方法
机译:认知无线电网络中基于人工神经网络的信号验证安全方法
机译:SCAO配置中太阳重建的卷积神经网络方法
机译:迈向网络和系统安全配置的统一建模和验证