A Policy Checker Approach for Secure Industrial SDN