"Towards Automated Design of Multi-party Rational Exchange Security Protocols."

Almudena Alcaide et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics