Automated broken object-level authorization attack detection in REST APIs through OpenAPI to colored petri nets transformation | Publicación