| 2008 |
|---|
| 9 | EE | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
Nature-Inspired Synthesis of Rational Protocols.
PPSN 2008: 981-990 |
| 8 | EE | Juan M. Estévez-Tapiador,
Almudena Alcaide,
Julio César Hernández Castro,
Arturo Ribagorda:
Bayesian rational exchange.
Int. J. Inf. Sec. 7(1): 85-100 (2008) |
| 2007 |
|---|
| 7 | EE | Esther Palomar,
Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro:
Bayesian Analysis of Secure P2P Sharing Protocols.
OTM Conferences (2) 2007: 1701-1717 |
| 6 | EE | Almudena Alcaide,
Juan M. Estévez-Tapiador,
Julio César Hernández Castro,
Arturo Ribagorda:
A Multi-party Rational Exchange Protocol.
OTM Workshops (1) 2007: 42-43 |
| 5 | EE | 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.
Web Intelligence/IAT Workshops 2007: 387-390 |
| 2006 |
|---|
| 4 | EE | 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.
ETRICS 2006: 396-408 |
| 2005 |
|---|
| 3 | EE | Joaquín Torres Márquez,
Antonio Izquierdo,
Arturo Ribagorda,
Almudena Alcaide:
Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach.
ICCSA (3) 2005: 729-738 |
| 2 | EE | 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.
ICCSA (4) 2005: 1309-1318 |
| 2004 |
|---|
| 1 | EE | José María Sierra,
Julio César Hernández Castro,
Almudena Alcaide,
Joaquín Torres Márquez:
Validating the Use of BAN LOGIC.
ICCSA (1) 2004: 851-858 |
