Analysis of Web Services Secure Conversation with Formal Methods | Publicación