Reversing Bytecode of Obfuscated Java Based Smart Card Using Side Chanel Analysis
Mohammed Amine Kasmi, Mostafa Azizi, Jean‐Louis Lanet · International Journal of Security and Its Applications · 2015
Since the separation of the control plane and the data plane for Software-Defined Networking (SDN) leads to more and more security threats on the control plane and the SDN controllers, issues related to threat detection and defense of SDN must be seriously considered.This paper tries to introduce Extenics into the research on threat detection and defense of SDN and proposes an extension approach from a formal viewpoint.It first uses the matter-elements and the composite-elements to formally represent four securityrelated roles of SDN.It then utilizes the extension theory and basic-elements, by applying the dependent function to threat detection of SDN and making use of the affair-elements to formalize the NETCONF operations for threat defense of SDN.Finally, case study validates the feasibility of proposed extension approach in promoting the formalization of not only the security-related roles of SDN but also threat detection and defense of SDN.