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