M. P. C. Peña Casanova, Y. Echeverria Castillo, and B. . Laborí de la Nuez, “Architecture for detecting violations of security policies using the ABD method”, Telemática, vol. 21, no. 3, May 2023.