Gravar-mail: Automatic Translation and Enforcement of Cybersecurity Policies Using A High-Level Definition Language