Automatic Translation and Enforcement of Cybersecurity Policies Using A High-Level Definition Language. - Diego Rivera; Fernando Monje; Víctor A. Villagrá; Mario Vega-Barbas; Xavier Larriva-Novo; Julio Berrocal (Entropy, 2019)