Publications in collaboration with researchers from Universidad de Castilla-La Mancha (9)

2012

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

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

2009

  1. Security in wireless sensor networks: A formal approach

    From Problem toward Solution: Wireless Sensor Networks Security (Nova Science Publishers, Inc.), pp. 145-164

2008

  1. Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for google apps

    Proceedings of the ACM Conference on Computer and Communications Security

  2. Formal verification of the Secure Sockets Layer protocol

    ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems

  3. Modelling secure wireless sensor networks routing protocols with timed automata

    PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks

2007

  1. Analysis of Web services secure conversation with formal methods

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

  2. Formal analysis of sensor network encryption protocol (SNEP)

    2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS

  3. 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)