RE-CHECKER: Towards Secure RESTful Service in Software-Defined Networking | IEEE Conference Publication | IEEE Xplore