Publicacións nas que colabora con Juan José Pardo Mateo (2)

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