Model-based analysis of Java EE web security misconfigurations | Publicación