RESUMEN: La expansión de las redes de sensores inalámbricas amplía la posibilidad de los ciberdelincuentes de violar su seguridad. Debido a ello, es necesario desarrollar un conjunto de métodos y herramientas que faciliten el diseño y análisis de estos sistemas, de manera que cuando llegue la hora de desplegar la red, esta esté en condiciones de trabajar inmediatamente, sin errores de diseño y con mecanismos de protección adecuados para evitar ataques. Esta tesis propone distintas técnicas y herramientas que permiten mejorar el diseño y la seguridad de las redes de sensores. La primera parte de la tesis describe un entorno de análisis de prestaciones que permite estimar la seguridad de las redes de sensores inalámbricas. La segunda parte presenta técnicas que permiten el desarrollo de firmware seguro y eficiente de los sistemas. Estas técnicas se centran en el diseño de firmware que soporta el impacto de los ataques, técnicas eficientes de actualización de software y arranque seguro. La última parte presenta una metodología de verificación que permite reutilizar los test durante las distintas fases del proceso de diseño.

ABSTRACT: The expansion of the Wireless Sensor Networks (WSNs) increases the number of possible security vulnerabilities. This is the reason why it is important to provide methods and tools that facilities the design and the analysis of the WSNs. This thesis presents different techniques to be used during their development process. The first part of the thesis proposes a Wireless Sensor Network Analysis framework that estimates the WSN security. The second part of the thesis presents techniques to develop secure and efficient WSN firmware. These techniques are focused on the design of attack-aware firmware, the improvement of the security during the booting process and the increase in the performance of the WSN update process. The last part of the thesis presents a verification methodology that allows reusing the tests in different phases of the design process.