Automated Synthesis of Multiparty Rational Exchange Security Protocols - Alcaide Raya, Almudena; Estevez Tapiador, Juan Manuel; Hernandez Castro, Julio Cesar; Ribagorda Garnacho, Arturo (International transactions on systems science and applications, 2008)