TOWARD SDN-NATIVE CYBERSECURITY: UNIFIED THREAT MODELING, FORMAL ASSURANCE, BEHAVIORAL DETECTION, AND MULTI-CONTROLLER RESILIENCE
This study designs and analytically evaluates an SDN-native cybersecurity integration contract that unifies: a multidimensional threat model; invariant-based preventive assurance; governed hybrid detection; security-aware multi-controller resilience; ATT&CK informed traceability; and controlled learning.