Publications by the researcher in collaboration with Gregorio Diaz Descalzo (5)

2012

  1. WST: A tool supporting timed composite Web Services Model transformation

    SIMULATION, Vol. 88, Núm. 3, pp. 349-364

2009

  1. Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK

    Telecommunication Systems

2007

  1. Analysis of Web services secure conversation with formal methods

    Second International Conference on Internet and Web Applications and Services, ICIW'07

  2. Model checking wireless sensor network security protocols: TinySec + LEAP

    IFIP International Federation for Information Processing

2005

  1. Application of formal methods to the analysis of Web Services Security

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)