Specification and automated processing of security requirements (SAPS'05) | Publicación