Search the dblp DataBase

Publications of Author

1. Almudena Alcaide, Juan M. Estévez-Tapiador, Julio César Hernández Castro, Arturo Ribagorda
   An Extended Model of Rational Exchange Based on Dynamic Games of Imperfect Information. [Citation Graph (0, 0)][DBLP]
   ETRICS, 2006, pp:396-408 [Conf]
   
2. Almudena Alcaide, Juan M. Estévez-Tapiador, Antonio Izquierdo, José María Sierra
   A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol. [Citation Graph (0, 0)][DBLP]
   ICCSA (4), 2005, pp:1309-1318 [Conf]
   
3. José María Sierra, Julio César Hernández, Almudena Alcaide, Joaquín Torres Márquez
   Validating the Use of BAN LOGIC. [Citation Graph (0, 0)][DBLP]
   ICCSA (1), 2004, pp:851-858 [Conf]
   
4. Joaquín Torres Márquez, Antonio Izquierdo, Arturo Ribagorda, Almudena Alcaide
   Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach. [Citation Graph (0, 0)][DBLP]
   ICCSA (3), 2005, pp:729-738 [Conf]
   
5. Almudena Alcaide, Juan M. Estévez-Tapiador, Julio César Hernández Castro, Arturo Ribagorda
   A Multi-party Rational Exchange Protocol. [Citation Graph (0, 0)][DBLP]
   OTM Workshops (1), 2007, pp:42-43 [Conf]
   
6. Esther Palomar, Almudena Alcaide, Juan M. Estévez-Tapiador, Julio César Hernández Castro
   Bayesian Analysis of Secure P2P Sharing Protocols. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (2), 2007, pp:1701-1717 [Conf]
   
7. 
   Towards Automated Design of Multi-party Rational Exchange Security Protocols. [Citation Graph (, )][DBLP]
   
   
8. 
   Nature-Inspired Synthesis of Rational Protocols. [Citation Graph (, )][DBLP]
   
   
9. 
   Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol. [Citation Graph (, )][DBLP]
   
   
10. 
    Cryptanalysis of the RSA-CEGD protocol [Citation Graph (, )][DBLP]