Publicacions en què col·labora amb Fernando Cuartero Gómez (8)

2009

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

    Telecommunication Systems

  2. 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 verification of the Secure Sockets Layer protocol

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

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