Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models | Publicación