Property Guided Secure Configuration Space Search

You Li, Kaiyu Hou, Yunqi He, Yan Chen, Hai Zhou

Abstract: Complex reactive systems such as 5G cellular networks must have flexible configuration options to fit different deployment scenarios. However, not every possible configuration combination is risk-free. Some of them may lead to availability issues or even security vulnerabilities. Asking the system engineers to check each configuration via model checking for every deployment or re-configuration is impractical if not impossible.