Peña Casanova, M. P. C.; Echeverria Castillo, Y.; Laborí de la Nuez , B. . Architecture for Detecting Violations of Security Policies Using the ABD Method. Telemática 2023, 21.