SDN security policies transformed and verified to secure complex networks without underlying network knowledge.
The article presents a new way to manage security policies in software-defined networking (SDN) without needing detailed network information. The researchers developed a method to transform high-level security policies into lower-level ones that include necessary network details. They also created a process to verify that the network system updated with these policies maintains all the security properties. This approach allows network managers to define security policies without getting into the technical details, making it easier to enforce security in complex SDN networks.