MUNIZ, R. C.; http://lattes.cnpq.br/1454914002384966; MUNIZ, Raphael de Carvalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2022-03-04)
Companies’ investment in implementing means to ensure security in software systems
makes us realize the importance of this topic. However, ensuring this feature is not a trivial
activity. Several critical systems, such ...