Automated broken object-level authorization attack detection in REST APIs through OpenAPI to colored petri nets transformation: Automated broken object-level authorization attack detection in REST APIs...: A. Santos Filho et al. - Santos Filho, Ailton; Rodríguez, Ricardo J.; Feitosa, Eduardo L. (International Journal of Information Security, 2025)