Application of Formal Methods to the Analysis of Web Services Security | Publicación