Semantic Control for the Cybersecurity Domain