Formalization of security patterns as a means to infer security controls in business processes | Publicación