Towards Automated Design of Multi-party Rational Exchange Security Protocols | Publicación