Search the dblp DataBase

Publications of Author

1. M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
   Application of Formal Methods to the Analysis of Web Services Security. [Citation Graph (0, 0)][DBLP]
   EPEW/WS-FM, 2005, pp:215-229 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:178-192 [Conf]
   
3. 
   Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. [Citation Graph (, )][DBLP]
   
   
4. 
   Formal Verification of the Secure Sockets Layer Protocol. [Citation Graph (, )][DBLP]
   
   
5. 
   Modelling secure wireless sensor networks routing protocols with timed automata. [Citation Graph (, )][DBLP]
   
   
6. 
   Analysis of Web Services Secure Conversation with Formal Methods. [Citation Graph (, )][DBLP]
   
   
7. 
   Enhancing the expressivity of PADL for specifying Web Services Architectures. [Citation Graph (, )][DBLP]