 | 2009 |
|---|
| 8 |       | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Gregorio Díaz,
María-Emilia Cambronero:
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.
Telecommunication Systems 40(3-4): 91-99 (2009) |
| 2008 |
|---|
| 7 | | Alessandro Armando,
Roberto Carbone,
Luca Compagna,
Jorge Cuéllar,
M. Llanos Tobarra:
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
FMSE 2008: 1-10 |
| 6 |  | M. Llanos Tobarra,
Diego Cazorla,
Juan José Pardo,
Fernando Cuartero:
Formal Verification of the Secure Sockets Layer Protocol.
ICEIS (3-2) 2008: 246-252 |
| 5 | | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Juan José Pardo:
Modelling secure wireless sensor networks routing protocols with timed automata.
PM2HW2N 2008: 51-58 |
| 4 | | Gregorio Díaz,
María-Emilia Cambronero,
M. Llanos Tobarra,
Valentín Valero Ruiz,
Fernando L. Pelayo:
Enhancing the expressivity of PADL for specifying Web Services Architectures.
TAMoCo 2008: 99-110 |
| 2007 |
|---|
| 3 | | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Gregorio Díaz:
Analysis of Web Services Secure Conversation with Formal Methods.
ICIW 2007: 27 |
| 2006 |
|---|
| 2 | | Gregorio Díaz,
María-Emilia Cambronero,
M. Llanos Tobarra,
Valentin Valero,
Fernando Cuartero:
Analysis and Verification of Time Requirements Applied to the Web Services Composition.
WS-FM 2006: 178-192 |
| 2005 |
|---|
| 1 | | M. Llanos Tobarra,
Diego Cazorla,
Fernando Cuartero,
Gregorio Díaz:
Application of Formal Methods to the Analysis of Web Services Security.
EPEW/WS-FM 2005: 215-229 |
