Suitability of a Classical Analysis Method for E-commerce Protocols | Publicación