Towards Automated Design of Multi-party Rational Exchange Security Protocols | IEEE Conference Publication | IEEE Xplore