Almudena Alcaide, Juan M. Estévez-Tapiador, Julio César Hernández Castro, Arturo Ribagorda. Towards Automated Design of Multi-party Rational Exchange Security Protocols. In Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, USA. pages 387-390, IEEE, 2007. [doi]
Abstract is missing.