Publications dans lesquelles il/elle collabore avec Gregorio Diaz Descalzo (5)

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)