Software security evaluation based on a top-down McCall-like approach | Publicación